michaeln

Personal information


male

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


Interactive theorem-proving, programming language semantics.

History


10 years 45 weeks