Davis Automated Reasoning Group
Zhonghan Wang
yogurt-shadow
PhD Student at University of Toronto.
University of Toronto Beijing, China
Yifeng He
EYH0602
PhD student @ UC Davis | B.S. in CS & Applied Math @ UC Davis
@SecurityLab-UCD Davis, CA
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.
Davis, California, USA
