Dr Michael Norrish

I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington. I came to Canberra in 2003 and worked with NICTA and then CSIRO until 2021.
I am interested in Formal Methods, Programming Languages, and Interactive Theorem-Proving. I am the primary developer of the HOL4 system and heavily involved in the CakeML project.