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

Aravind Machiry
Aravind Machiry
Suguman Bansal
Suguman Bansal
Yuepeng Wang
Yuepeng Wang

Ph.D. Students

Aalok Thakkar
Aalok Thakkar
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
Lef Ionnadis
Lef Ionnadis
Lei Shi
Lei Shi
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
Yao Li
Yao Li
Yishuai Li
Yishuai Li
Ziyang Li
Ziyang Li

Alumni