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.

Hing Lun (Joseph) Chan

Mr Hing Lun (Joseph) Chan »

PhD Student

Vidushi Liyanaarachchi »

PhD Candidate

Updated:  10 August 2021/Responsible Officer:  Dean, CECS/Page Contact:  CECS Marketing