michaeln | Lambda the Ultimate

michaeln

view
track

Personal information

Gender:
male

Biography:

I am a Principal Researcher at NICTAâ€™s Canberra Research Lab.

Interests:

Interactive theorem-proving, programming language semantics.

History

Member for:
19 years 21 weeks