About
I would found a research group where any programming language can be thoroughly studied.
Cornell has been at the center of research on programming languages for more than 50 years. We are a diverse group of researchers whose work intersects a wide array of domains within computer science.
Notable works from Cornell include: PL/C, NuPRL, Typed Assembly Language, Kleene Algebra with Tests, Cyclone, Jif, Frenetic, and discovering the unsoundness of Java and Scala’s type system.
This website is managed under Github. To modify, please submit a pull request!
News
- May 2026 - Spencer Van Koevering passed his A exam! Congratulations, Spencer!
- May 2026 - Vaibhav Mehta passed his A exam! Congratulations, Vaibhav!
- May 2026 - Griffin Berlstein defended their thesis! Congratulations, Dr. Griffin!
- April 2026 - SMT-Based Active Learning of Weighted Automata was accepted at CAV '26. Congratulations, Tiago Ferreira, Kevin Batz, Alexandra Silva!
- Mar 2026 - Ernest Ng and Ayaka Yorihiro were selected as finalists for the Qualcomm Innovation Fellowship. Congratulations, Ernest and Ayaka!
- March 2026 - Weighted NetKAT: A Programming Language For Quantitative Network Verification was accepted at PLDI '26. Congratulations, Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz, Oliver Emil Bøving, Nate Foster, and Alexandra Silva!
