Dr. Michael Norris

TypeParty
Party Typeperson
Access PrivilegesResearch School of Computer Science
TitleDr.
Given NameMichael
SurnameNorris
Brief DescriptionPhD in 1999 from the University of Cambridge.
Full DescriptionI 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 Addressmichael.norrish@data61.csiro.au
Phone Number+61 2 6218 3719
Website Addresshttps://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 Research080203 - Computational Logic and Formal Languages
KeywordsMathematical Software
Networking And Communications
Computational Logic And Formal Languages
Computation Theory And Mathematics
Status: Published
Published To:
- Australian National University
- Australian National Data Service
Identifier: anudc:5949
Related Items

Updated:  07 February 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator