Daniel Ricketts

Department of Computer Science and Engineering
University of California, San Diego
Office: EBU3b 4240
daricket [at] cs [dot] ucsd [dot] edu

About Me

I am a third 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.

Publications

• Common Knowledge and State-dependent Equilibria, Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, and Andrea Vattani, Symposium on Algorithm Game Theory Barcelona, Spain (2012)
• TLA+ Proofs, Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, and Hernan Vanzetto, International Symposium on Formal Methods Paris, France (2012)

Workshops

• Impact of historical information in human coordination, M. Cebrian, R. Paturi, and D. Ricketts, Proceedings of the Workshop on Information in Networks, New York, USA (2011).

Unpublished

• Maximizing profit using recommender systems. With Aparna Das and Claire Mathieu.