Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
20042024

Research activity 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
  • 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 journalArticlepeer-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, Inc, 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 proceedingConference contributionpeer-review

    4 Citations (Scopus)
  • Seed selection for successful fuzzing

    Herrera, A., Gunadi, H., Magrath, S., Norrish, M., Payer, M. & Hosking, A. L., 11 Jul 2021, Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA 2021. Cadar, C. & Zhang, X. (eds.). Association for Computing Machinery, Inc, p. 230-243 3464795

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    66 Citations (Scopus)
  • Mechanised Modal Model Theory

    Xu, Y. & Norrish, M., 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 518-533 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Citations (Scopus)
  • Proof-Producing Synthesis of CakeML from Monadic HOL Functions

    Abrahamsson, O., Ho, S., Kanabar, H., Kumar, R., Myreen, M. O., Norrish, M. & Tan, Y. K., 1 Oct 2020, In: Journal of Automated Reasoning. 64, 7, p. 1287-1306 20 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    8 Citations (Scopus)