
Fields of Research (FoR)
Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computationBiography
Current research activities
-
Logical techniques for the verification of the seL4 Core Platform
- Project description
- Gernot's talk on Core Platform abstractions
-
Degree of satisfiability in algebraic structures
Other work: see website
My Qualifications
-
PhD in Mathematics (2016-2019)
- Thesis: "Development of Group Theory in the Language of Internal Set Theory"
- The University of...view more