Guido Martínez

Registered user since Thu 10 Nov 2016

Name:Guido Martínez
Country:United States
Affiliation:Microsoft Research
Research interests:Programming Languages, Formal verification, Proof assistants, Type theory

Contributions