The programming languages group at the University of Pennsylvania has been a hub for understanding the essence of computation. Research topics include type theory, functional programming, formal verification, and logic.

Keep in Touch

Check out [plclub] resources and tools on GitHub

PLClub Discussion Group

We meet on Fridays, 12 - 1:00pm at Levine 307.
Rules
  1. Talk about PLClub! Anyone is welcome.
  2. If it's your first semester at PLClub, you have to PL.
  3. Lunch starts at 11:45pm.
  4. Talks start at 12:00pm.
  5. Talks go on as long as they have to, or until 1:00pm.
Research is better in a diverse community. We affirm and embrace our differences in race and ethnicity, gender expression, sexual orientation, and other personal characteristics. We expect our members to make PLClub a safe and welcoming place for all.

People of PLClub

Faculty

Benjamin Pierce
Benjamin Pierce
Mayur Naik
Mayur Naik
Osbert Bastani
Osbert Bastani
Rajeev Alur
Rajeev Alur
Stephanie Weirich
Stephanie Weirich
Steve Zdancewic
Steve Zdancewic

Postdocs

Ph.D. Students

Adam Stein
Adam Stein
Alaia Solko-Breslin
Alaia Solko-Breslin
Anton Xue
Anton Xue
Calvin Beck
Calvin Beck
Cassia Torczon
Cassia Torczon
Chris Watson
Chris Watson
Elizabeth Dinella
Elizabeth Dinella
Halley Young
Halley Young
Haoxian Chen
Haoxian Chen
Harrison Goldstein
Harrison Goldstein
Irene Yoon
Irene Yoon
Jessica Shi
Jessica Shi
Jiani Huang
Jiani Huang
Joey Velez-Ginorio
Joey Velez-Ginorio
Jonathan Chan
Jonathan Chan
Joseph Cutler
Joseph Cutler
Konstantinos Kallas
Konstantinos Kallas
Lawrence Dunn
Lawrence Dunn
Eleftherios Ioannidis
Eleftherios Ioannidis
Lei Shi
Lei Shi
Lucas Silver
Lucas Silver
Nick Rioux
Nick Rioux
Omar Navarro Leija
Omar Navarro Leija
Pardis Pashakhanloo
Pardis Pashakhanloo
Paul He
Paul He
Phillip Hilliard
Phillip Hilliard
Pritam Choudhury
Pritam Choudhury
Spyros Pavlatos
Spyros Pavlatos
Stephen Mell
Stephen Mell
Yiyun Liu
Yiyun Liu
Ziyang Li
Ziyang Li

Alumni