Merv Hammer

Personal information


male

Secure compilation
Formal methods
Program verification
Formal language theory
Certified tools

History


5 years 48 weeks