Ĉiuj matematikaj objektoj estas hiperfiniaj.
R&D engineer in the field of privacy technology. Specializes in research on the fundamental aspects of Confidential Computing / Trusted Execution Environments (TEE), particularly regarding remote attestation.
Independent researcher in mathematics, theoretical computer science, and philosophy. Research interests include:
- Mathematics: Mathematical Logic, Nonstandard Mathematics, Topology, Recursion Theory
- Theoretical Computer Science: Theory of Computation, Type Theory, Domain Theory, Term Rewriting Systems, Formal Methods
- Philosophy: Philosophy of Mathematics, Philosophy of Law, Mathematical Philosophy
Active contributor to open-source software, particularly in the domain of Hardware-assisted Isolated Execution Environments (HIEE), including both TEEs and Trusted Platform Modules (TPMs). Maintainer and developer of security-oriented tooling and libraries.
Generated by GitHub Stats Extended via GitHub Readme Stats Action