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 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.

Publications

Workshops

Unpublished