Dr. Michael Norris

I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington. My research interests lie in the areas of formal methods, interactive theorem proving (I am one of the developers of the HOL4 system), and formal semantics for complicated real-world systems. I am currently involved in the Trustworthy Embedded Systems project within NICTA, and in various collaborations around the world.
Type
Party
Party Type
person
Access Privileges
Research School of Computer Science
Title
Dr.
Given Name
Michael
Surname
Norris
Uni ID
u4087502
Brief Description
PhD in 1999 from the University of Cambridge.
Full Description
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington. My research interests lie in the areas of formal methods, interactive theorem proving (I am one of the developers of the HOL4 system), and formal semantics for complicated real-world systems. I am currently involved in the Trustworthy Embedded Systems project within NICTA, and in various collaborations around the world.
Email Address
michael.norrish@data61.csiro.au
Phone Number
+61 2 6218 3719
Website Address
https://cecs.anu.edu.au/people/michael-norrish#acton-tabs-link--tabs-0-middle-1; https://ts.data61.csiro.au/people/?cn=Michael+Norrish
Fields of Research
080203 - Computational Logic and Formal Languages
Keywords
Mathematical Software; Networking And Communications; Computational Logic And Formal Languages; Computation Theory And Mathematics
Status: Published
Published to:
  • Australian National University
  • Australian National Data Service
Related items