Home » user account

Merv Hammer

Personal information


male

I study the formalisation & implementation of programming language semantics. In particular, I'm interested in the application of homological algebra over dependent types in formal verification and mechanical certification.

History


12 years 5 weeks