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

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

PLDI 2015-profile
View general profile