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.

Complete student projects

Mohammad Abdulaziz

Mr Mohammad Abdulaziz »

PhD student

Hing Lun (Joseph) Chan

Mr Hing Lun (Joseph) Chan »

PhD Student

Updated:  8 September 2015/Responsible Officer:  Head of School/Page Contact:  CECS Marketing