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:30pm 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 12:15pm.
  4. Talks start at 12:30pm.
  5. Talks go on as long as they have to, or until 1:30pm.
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

Anthony Canino
Anthony Canino
Filip Niksic
Filip Niksic
Luan Viet Nguyen
Luan Viet Nguyen
Yannick Zakowski
Yannick Zakowski

Ph.D. Students

Antal Spector-Zabusky
Antal Spector-Zabusky
Antoine Voizard
Antoine Voizard
Anton Xue
Anton Xue
Caleb Stanford
Caleb Stanford
Calvin Beck
Calvin Beck
Elizabeth Dinella
Elizabeth Dinella
Halley Young
Halley Young
Haoxian Chen
Haoxian Chen
Harrison Goldstein
Harrison Goldstein
Hengchu Zhang
Hengchu Zhang
Irene Yoon
Irene Yoon
Jiani Huang
Jiani Huang
Kishor Jothimurugan
Kishor Jothimurugan
Konstantinos Kallas
Konstantinos Kallas
Lawrence Dunn
Lawrence Dunn
Li-Yao Xia
Li-Yao Xia
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
Shaan Vaidya
Shaan Vaidya
Stephen Mell
Stephen Mell
Steve Hsu
Steve Hsu
Sulekha Kulkarni
Sulekha Kulkarni
Xujie Si
Xujie Si
Yao Li
Yao Li
Yishuai Li
Yishuai Li
Ziyang Li
Ziyang Li

Alumni