Dr Michael Norrish

I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington.

My research interests lie in the areas of formal methods, interactive theorem proving (I am one of the developers of the HOL4 system), and formal semantics for complicated real-world systems. I am currently involved in the Trustworthy Embedded Systems project within NICTA's Software Systems research group.

Updated:  1 June 2019/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing