Dr Michael Norrish

BA, BSc(Hons), PhD
Associate Professor
ANU College of Engineering, Computing and Cybernetics

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 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:  21 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers