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

ISMM 2015 Activities

ISMM 2015-profile
View general profile