michaeln

Personal information


male

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


Interactive theorem-proving, programming language semantics.

History


11 years 1 week