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 - Karuna has been awarded the LinkedIn Ph.D. Fellowship 2026-2027! Congratulations, Karuna!
- May 2026 - Dr. Keri D’Angelo defended her thesis! Congratulations, Keri!
- May 2026 - Dr. Mark Moeller defended his thesis! Congratulations, Mark!
- May 2026 - Dr. Noam Zilberstein defended his thesis! Congratulations, Noam!
- May 2026 - Spencer Van Koevering passed his A exam! Congratulations, Spencer!
- May 2026 - Vaibhav Mehta passed his A exam! Congratulations, Vaibhav!
