Mr Michael Norrish

BA, BSc(Hons), PhD
Principal Research Scientist
College of Engineering & Computer Science
T: 6267 6219

Areas of expertise

  • Mathematical Software 080204
  • Networking And Communications 080503
  • Computational Logic And Formal Languages 080203
  • Computation Theory And Mathematics 0802


Research interests:
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.
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington.

Available student projects

Theory of Co-algebraic Types with Binders - Keywords: nominal theory, mechanisation, theorem-proving



Return to top

Updated:  20 June 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers