Guido Martínez

Guido Martínez

Research Engineer at Microsoft Research

Email address: replace '.github.io' in this URL with '@gmail.com'.

I mostly work on the F* programming language / proof assistant.

Publications