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.
Personal website: http://nicta.com.au/people/norrishm
Research interests: Formal Methods, Programming Language Semantics, Interactive Theorem Proving
ISMM 2015 Activities
View general profile