Skip to content

Michael Norrish

  • Principal Researcher
  • NICTA
  • 13h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 1288CitationsNumber of citations received by Michael's publications. Updated daily.

Other IDs

Research interests

Interactive theorem proving

About

I was an undergraduate at the Victoria University of Wellington, and a PhD student at the University of Cambridge (supervised by Mike Gordon).

Co-authors (54)

  • Washington Ribeiro
  • Peter Baumgartner

Publications (5)

  • Formally Verified Algorithms for Upper-Bounding State Space Diameters

    • Abdulaziz M
    • Norrish M
    • Gretton C
    N/AReaders
    0Citations
    Get full text
  • A state-space acyclicity property for exponentially tighter plan length bounds

    • Abdulaziz M
    • Gretton C
    • Norrish M
    N/AReaders
    1Citations
  • Proof Pearl: Bounding Least Common Multiples with Triangles

    • Chan H
    • Norrish M
    N/AReaders
    0Citations
    Get full text
  • Verified characteristic formulae for CakeML

    • Guéneau A
    • Myreen M
    • Kumar R
    • et al.
    N/AReaders
    4Citations
    Get full text
  • Mechanising Hankin and Barendregt using the Gordon-Melham axioms

    • Norrish M
    N/AReaders
    2Citations
    Get full text

Professional experience

Principal Researcher

NICTA

August 2011 - Present

Senior Researcher

NICTA

Education

PhD

Computer Laboratory, University of Cambridge

October 1994 - June 1999(5 years)

BSc(Hons)

Victoria University of Wellington

January 1993 - November 1993(10 months)