Michael Norrish

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
Research interests:Formal Methods, Programming Language Semantics, Interactive Theorem Proving

Contributions

Show activities from other conferences

PLDI 2015-profile
View general profile