Research output per year
Research output per year
Personal profile
Biography
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.
Bio:
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington.
Qualifications
BA, BSc(Hons), PhD
Research student supervision
- Registered to supervise
Fingerprint
Dive into the research topics where Michael Norrish is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Find out about recent ANU collaborations across the world by selecting a location on the map OR
-
Characterising reproducibility debt in scientific software: A systematic literature review
Hassan, Z., Treude, C., Norrish, M., Williams, G. & Potanin, A., Apr 2025, In: Journal of Systems and Software. 222, 30 p., 112327.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
Fast, Verified Computation for HOL ITPs
Abrahamsson, O., Myreen, M. O., Norrish, M., Kanabar, H. & Pohjola, J. Å., Mar 2025, In: Journal of Automated Reasoning. 69, 1, 40 p., 7.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
Mechanising Böhm Trees and λη-Completeness
Tian, C. & Norrish, M., Sept 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Forster, Y. & Keller, C. (eds.). Saarbrücken/Wadern, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, p. 28:1-28:18 18 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 352).Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review
Open Access1 Citation (Scopus) -
15th International Conference on Interactive Theorem Proving: ITP 2024, September 9-14, 2024, Tbilisi, Georgia
Bertot, Y., Kutsia, T. & Norrish, M., Sept 2024, Saarbrücken/Wadern, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. 714 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309)Research output: Book/Report › Edited Book › peer-review
Open Access -
Mechanisation of the AKS Algorithm
Chan, H. L. & Norrish, M., Feb 2021, In: Journal of Automated Reasoning. 65, 2, p. 205-256 52 p.Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus)