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.