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 MethodsProgramming Languages, and Interactive Theorem-Proving. I am the primary developer of the HOL4 system and heavily involved in the CakeML project

Hing Lun (Joseph) Chan

Mr Hing Lun (Joseph) Chan »

PhD Student

Vidushi Liyanaarachchi »

PhD Candidate

Updated:  10 August 2021/Responsible Officer:  Head of School/Page Contact:  CECS Webmaster