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
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 Manchester, Oxford Rd, Manchester M13 9PL, UK
My Awards
-
CSIRO SCS Engineering and Technology award, for Translation Validation of seL4 on the RISC-V Architecture, May 2021, Sydney, Australia
-
IBM Prize, for Results on Degree of Satisfiability, MRSC 2018, September 2018, Manchester, UK
