Skip to content

Michael Norrish

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

Recent publications

  • Formally Verified Algorithms for Upper-Bounding State Space Diameters

    • Abdulaziz M
    • Norrish M
    • Gretton C
    N/AReaders
    2Citations
    Get full text
  • Verified characteristic formulae for CakeML

    • Guéneau A
    • Myreen M
    • Kumar R
    • et al.
    N/AReaders
    9Citations
    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)

Research interests

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 (59)

  • Washington Ribeiro
  • Peter Baumgartner

Other IDs