Name:Emily First

Bio:

I am an assistant professor in Computer Science at Rutgers University, New Brunswick. Previously, I was a postdoctoral researcher at UC San Diego advised by Sorin Lerner. I completed my PhD in Computer Science at UMass Amherst, where I was advised by Yuriy Brun. I received a BS in Math and Computer Science from Harvey Mudd College.

Country:United States

Affiliation:Rutgers University

Research interests:Machine Learning, Software Engineering, Programming Languages, AI for Theorem Proving, AI for Formal Verification