Davis Automated Reasoning Group
Yifeng He
EYH0602
PhD student @ UC Davis | B.S. in CS & B.S. in Applied Mathematics @ UC Davis
@SecurityLab-UCD Davis, CA
Caleb Stanford
cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems. Contributor to Z3.
Davis, California, USA
