Skip navigation
The Australian National University
photo of Michael

Dr Michael NORRISH

Position:NICTA Senior Researcher
Email:JavaScript must be enabled to display this email address.
Personal website:http://nicta.com.au/people/norrishm
Phone:6267 6219
Building:NICTA London Circuit
Room:NICTA Bldg
Groups:CS, LC, NICTA
Staff category:Adjunct

Research interests:

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 and Automap projects within NICTA.

Bio:

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

Research opportunities with Dr Michael NORRISH

Responsible Officer:  JavaScript must be enabled to display this email address. / Page Contact:  JavaScript must be enabled to display this email address.