Michael Norrish

CSIRO

  • Joined July 2019

Names

Michael Norrish (Preferred)

Emails

****@data61.csiro.au (Confirmed)
,
****@anu.edu.au (Confirmed)

Personal Links

Education & Career History

Principal Researcher
CSIRO (csiro.au)
2016 – 2021
 
Researcher
NICTA (nicta.com.au)
2003 – 2016
 
PhD student
Computer Laboratory (cl.cam.ac.uk)
1994 – 1999
 

Advisors, Relations & Conflicts

PhD Advisee
2019 – Present
 
PhD Advisee
2013 – 2017
 
PhD Advisor
Michael Gordon
1994 – 1998
 

Expertise

Formal methods
1999 – Present
 
Programming Language Semantics
1999 – Present
 
Interactive theorem-proving
1999 – Present