Michael Norrish

Joined
July 2019

Names

Michael Norrish (Preferred)

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 Advisee
Minchao Wu
2019 – Present
PhD Advisee
Mohammad Abdulaziz
2013 – 2017
PhD Advisor
Michael Gordon
1994 – 1998

Expertise

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

Publications

Co-Authors