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 Stop and Go: Understanding Yieldpoint Behavior
Show activities from other conferences

ISMM 2015-profile
View general profile