Experience
Education
Bio
Thomas was a key proof engineer and maintainer on the NICTA/Data61 seL4 verification project, and is now a postdoc at Chalmers University, working on CakeML.
Research interests:
Formal Methods, Interactive Proof Systems, Compilers