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, 112327.Research output: Contribution to journal › Article › peer-review
Open Access -
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, 7.Research output: Contribution to journal › Article › peer-review
Open Access -
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) -
On the formalisation of Kolmogorov complexity
Catt, E. & Norrish, M., 17 Jan 2021, CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. Hritcu, C. & Popescu, A. (eds.). Association for Computing Machinery (ACM), p. 291-299 9 p. (CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Citations (Scopus)
Projects
- 1 Active
-
Tech4HSE AI Trust and Trustworthiness in HSE: Data, Systems, Interaction, and Acceptance
Bui, T., Grastien, A., Jiang, J., Norrish, M., Xie, L. & Zhang, W.
31/07/24 → 31/05/29
Project: Research