Admitting Faculty
Applicants are given the opportunity to indicate up to 3 interest areas from our research areas of expertise.
Applicants will also select the names of the faculty with whom they’d like to work with in ranked order. Applications are primarily routed to reviewers using this information so it is important to carefully select those professors with whom interest aligns.
The faculty listed below are currently considering recruiting Ph.D. students for Autumn 2027. Faculty recruiting plans may change before the December 15 application deadline, and this page will be updated as new information becomes available. Applicants are encouraged to check back periodically. Faculty not listed here may still be accepting new students, but have not yet updated their recruiting status.
Tim Althoff
Maya Cakmak
Jon E. Froehlich
Kurtis Heimerl
Jen Mankoff
Chinmay Nirkhe
Sewoong Oh
Simon Peter
Franziska Roesner
Noah A. Smith
Zachary Tatlock
I think everything is a compiler, and my group’s main tool for building trustworthy ones is equality saturation. We created and maintain egg and egglog, e-graph infrastructure used around the world for optimization, synthesis, and verification. Our current questions: what e-graphs actually mean (a formal semantics in Lean), how an optimizer can produce checkable proofs, how to extract programs with effects, and how to run equality saturation in parallel at scale.
Numerics is our second pillar: Herbie and its relatives automatically improve floating-point accuracy, and we are pushing that into compilers with rigorous rounding guarantees.
My roots are in formally verified compilers, and everything we do pairs proofs with real systems and measurements, “both Greek and graphs”. Students develop their own research vision as they grow, and I look for people excited to build infrastructure others depend on and to prove it correct.
Nirvan Tyagi
