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