I am a sixth 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'm currently a top prospect for the US Men's National Soccer Team.
Foundational Verification of Cyber-Physical Systems
Modular Deductive Verification of Cyber-physical Systems
Daniel Ricketts, Gregory Malecha, Sorin Lerner (UCSD)
Towards Verification of Hybrid Systems in a Foundational Proof Assistant
Daniel Ricketts, Gregory Malecha, Mario Alvarez, Vignesh Gowda, Sorin Lerner (UCSD)
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.