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.
Mr Hing Lun (Joseph) Chan »
Mr Donovan Crichton »
Vidushi Liyanaarachchi »