Home » user account

michaeln

Personal information


male

I am a Principal Researcher at NICTA’s Canberra Research Lab.


Interactive theorem-proving, programming language semantics.

History


17 years 20 weeks