Ben Caulfield

Exact Learning, Program Synthesis, Formal Methods

PhD Candidate, UC Berkeley

Hi, I'm Ben.

I'm a Computer Science PhD Student at UC Berkeley, where I am advised by Sanjit Seshia and Stavros Tripakis. My research is at the intersection of Machine-Learning and Formal Methods. More specifically, I apply oracle-guided exact learning algorithms to the problem of program synthesis.

I grew up in Central Massachusetts before studying math and computer science at Rensselaer Polytechnic Institute. In my spare time I read fiction, watch movies, play drums, and study (mostly analytic) philosophy.