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
PLDI 2015-profile
View general profile
View general profile