I am a fourth year PhD student in Computer Science advised by Sorin Lerner. I build tools that make it easier to formally verify software correctness.
I previously worked on problems related to coordination and common knowledge while being advised by Mohan Paturi
I have interned at Facebook and at Telefonica I+D in the Data Mining and User Modeling group under Enrique Frias-Martinez.
Prior to UCSD, I worked at the Microsoft Research / INRIA Joint Centre in Orsay, France on formal verification under the leadership of Leslie Lamport and Damien Doligez.
Prior to INRIA, I attended Brown University where I completed my Bachelors in Math / Computer Science. I worked with Claire Mathieu and John Savage.
I'm currently a top prospect for the US Men's National Soccer Team.
Here is my CV.
- Automating Formal Proofs for Reactive Systems, with Valentin Robert, Donseok Jang, Zachary Tatlock, and Sorin Lerner, Programming Language Design and Implementation, Edinburgh, UK (2014)
- Common Knowledge and State-dependent Equilibria, with Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, and Andrea Vattani, Symposium on Algorithm Game Theory, Barcelona, Spain (2012)
- TLA+ Proofs, with Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, and Hernan Vanzetto, International Symposium on Formal Methods, Paris, France (2012)