
Emily First
· Assistant ProfessorRutgers University · Computer Science
About
I am an assistant professor in Computer Science at Rutgers University, New Brunswick. My research focuses on AI for theorem proving, exploring how AI can reason better and how humans can use AI to reason better in domains like formal verification and research-level mathematics. I am an interdisciplinary researcher, working at the intersection of machine learning, software engineering, and programming languages, creating tools to automatically generate proofs and lemmas in proof assistant languages like Rocq, Isabelle/HOL, and Lean.
Similar researchers at Rutgers University
- Resume-aware match score
- Save to shortlist
- AI-drafted outreach
See your match with Emily First
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.
- Free to start
- No credit card
- 30-second signup