
PhD in Mathematics (2016-2019)
Current research activities
Logical techniques for the verification of the seL4 Core Platform
Degree of satisfiability in algebraic structures
Other work: see website
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