Experience
Education
Bio
Simon’s academic work focused on type systems for verifying properties of low-level systems. Prior to
joining Galois, Simon worked on the formal verification of the seL4 microkernel at National ICT Australia.