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


7 years 40 weeks