Portrait of Gustavo Varo

Gustavo Varo

Senior Researcher Software Engineer


I am researcher software engineer working on F*, miTLS and the Everest project.

I am very passionate about programming languages and debugging.

In the past I have worked as an architect/developer on several releases of Windows, Exchange Server, Office and Windows Phone. On the research side, I worked in projects like PhotoDNA and Midore OS.