Registered user since Wed 12 Nov 2014
Name:Michael Norrish
Bio:
Michael was an undergraduate at Victoria University of Wellington, did his PhD at the University of Cambridge, and is now a Principal Researcher at NICTA’s Canberra Research Lab.
Country:Australia
Affiliation:NICTA
Personal website: http://nicta.com.au/people/norrishm
Research interests:Formal Methods, Programming Language Semantics, Interactive Theorem Proving
Contributions
ISMM 2015-profile
View general profile
View general profile