Dr. Michael Norrish

The Australian National University
Viewed: [[ro.stat.viewed]]

Full description

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, and in various collaborations around the world.