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
|PLDI 2015||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile