Michael Norrish (Preferred)
Michael Norrish
- Joined July 2019
Names
Emails
****@data61.csiro.au (Confirmed)
, ****@anu.edu.au (Confirmed)
Personal Links
Career & Education 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 Advisor
Michael Gordon
1994 – 1998
Expertise
Formal methods
1999 – Present
Programming Language Semantics
1999 – Present
Interactive theorem-proving
1999 – Present