I am a fifth 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
I have interned at Facebook and at Telefonica I+D in
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
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.
Towards Foundational Verification of Hybrid Systems in a Foundational Proof Assistant
Daniel Ricketts, Gregory Malecha, Mario Alvarez, Vignesh Gowda, Sorin Lerner (UCSD)
Automating Formal Proofs for Reactive Systems
Daniel Ricketts, Valentin Robert, Donseok Jang, Zachary Tatlock, and Sorin Lerner
[Project Webpage] [PLDI 14 Talk]
Common Knowledge and State-dependent Equilibria
Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, and Andrea Vattani
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, and Hernan Vanzetto
Impact of historical information in human coordination
Manuel Cebrian, Ramamohan Paturi, and Daniel Ricketts
Maximizing profit using recommender systems
Aparna Das, Claire Mathieu, and Daniel Ricketts.