Ĉ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