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

Courses

Related Groups at Penn

PLClub Discussion Group

We meet on Fridays, 12:00pm - 1:00pm at Levine 307.
Rules
  1. Talk about PLClub! Anyone is welcome.
  2. New members are welcome and encouraged give talks.
  3. Talks can be about in-progress ideas, a paper you read, a paper you published, etc. — you just have to PL!
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
Michael Hicks
Michael Hicks
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
Calvin Beck
Calvin Beck
Cassia Torczon
Cassia Torczon
Chris Watson
Chris Watson
Claire Wang
Claire Wang
Daniel Sainati
Daniel Sainati
Francis Rinaldi
Francis Rinaldi
Jessica Shi
Jessica Shi
Jiani Huang
Jiani Huang
Joey Velez-Ginorio
Joey Velez-Ginorio
Jonathan Chan
Jonathan Chan
Joseph Cutler
Joseph Cutler
Marcus Min
Marcus Min
Noé De Santo
Noé De Santo
Phillip Hilliard
Phillip Hilliard
Roger Burtonpatel
Roger Burtonpatel
Spyros Pavlatos
Spyros Pavlatos
Stephen Mell
Stephen Mell
Thia Richey
Thia Richey
Yiyun Liu
Yiyun Liu
Zain Aamer
Zain Aamer

Alumni

  • Ziyang Li - Ph.D., 2025. Johns Hopkins University
  • Nick Rioux - Ph.D., 2025. MathWorks
  • Eleftherios Ioannidis - Ph.D., 2025. Microsoft Research
  • Lawrence Dunn - Ph.D., 2025. Talarium Labs
  • Anton Xue - Ph.D., 2025. Postdoc, UT Austin Center for Generative AI
  • Paul He - Ph.D., 2024. University of Toronto
  • Konstantinos Kallas - Ph.D., 2024. UCLA
  • Harrison Goldstein - Ph.D., 2024. University at Buffalo
  • Halley Young - Ph.D, 2024. Postdoc, Microsoft Research
  • Emmanuel Suárez Acevedo - Masters, 2024. Cornell University
  • Pritam Choudhury - Ph.D., 2023.
  • Lucas Silver - Ph.D., 2023. JHU APL
  • Kishor Jothimurugan - Ph.D., 2023. Two Sigma
  • Irene Yoon - Ph.D., 2023.
  • Haoxian Chen - Ph.D., 2023. ShanghaiTech University
  • Ernest Ng - Masters, 2023. Cornell University
  • Elizabeth Dinella - Ph.D., 2023. Bryn Mawr College
  • Aalok Thakkar - Ph.D., 2023. Ashoka University
  • Yishuai Li - Ph.D., 2022. Alibaba
  • Yao Li - Ph.D., 2022. Portland State University
  • Suguman Bansal - Postdoc, 2022. Georgia Tech
  • Steve Hsu - Masters, 2022. Epic Systems
  • Pardis Pashakhanloo - Ph.D., 2022.
  • Omar Navarro Leija - Ph.D., 2022.
  • Li-Yao Xia - Ph.D., 2022. Inria
  • Lei Shi - Ph.D., 2022.
  • Caleb Stanford - Ph.D., 2022. University of California Davis
  • Yuepeng Wang - Postdoc, 2021. Simon Fraser University
  • Shaan Vaidya - Masters, 2021. Glean
  • Hengchu Zhang - Ph.D, 2021. Hudson River Trading
  • Antoine Voizard - Masters, 2021.
  • Yannick Zakowski - Postdoc, 2020. Inria
  • Xujie Si - Ph.D., 2020. University of Toronto
  • Sulekha Kulkarni - Ph.D., 2020. Microsoft
  • Solomon Maina - Masters, 2020.
  • Luan Viet Nguyen - Postdoc, 2020. University of Dayton
  • Filip Niksic - Postdoc, 2020. Google
  • Aravind Machiry - Postdoc, 2020. Purdue University
  • Anthony Canino - Postdoc, 2020. Micro Focus
  • Antal Spector-Zabusky - Ph.D., 2020. Rigetti Computing
  • Kihong Heo - Postdoc, 2019. KAIST
  • Joachim Breitner - Postdoc, 2019. Lean FRO
  • Brian Heath - Masters, 2019. Tortuga
  • Woosuk Lee - Postdoc, 2018. Hanyang University
  • Robert Rand - Ph.D., 2018. University of Chicago
  • Richard Zhang - Masters, 2018.
  • Nimit Singhania - Ph.D., 2018. eBay
  • Leonidas Lampropoulos - Ph.D., 2018. University of Maryland
  • Konstantinos Mamouras - Postdoc, 2018. Rice University
  • Jennifer Paykin - Ph.D., 2018. University of Vermont
  • Dong-Ho Lee - Masters, 2018. CEA List
  • Christine Rizkallah - Postdoc, 2018. UNSW
  • Xin Zhang - Ph.D., 2017. Peking University
  • Justin Hsu - Ph.D., 2017. Cornell University
  • Finch (a.k.a Kenny Foner) - Masters, 2017. Starling Cybernetics
  • Daniel Winograd-Cort - Postdoc, 2017. Nectry
  • Arthur Azevedo de Amorim - Ph.D., 2017. Rochester Institute of Technology
  • Arjun Radhakrishna - Postdoc, 2017. Microsoft
  • Yifei Yuan - Ph.D., 2016. Postdoc, Carnegie Mellon University
  • William Mansky - Postdoc, 2016. University of Illinois Chicago
  • Salar Moarref - Ph.D., 2016. Uber
  • Richard A. Eisenberg - Ph.D., 2016. Jane Street
  • Mukund Raghothaman - Ph.D., 2016. University of Southern California
  • Matthew Weaver - Undergrad, 2016.
  • Dmitri Garbuzov - Masters, 2016.
  • Dana Fisman - Postdoc, 2016. Ben Gurion University
  • Abhishek Udupa - Ph.D., 2016.
  • Vilhelm Sjöberg - Ph.D., 2015. CertiK
  • Peter-Michael Osera - Ph.D., 2015. Grinnell College
  • Loris D'Antoni - Ph.D., 2015. UCSD
  • Christos Stergiou - Postdoc, 2015. Google
  • Emilio Jesús Gallego Arias - Postdoc, 2014. Inria
  • Chris Casinghino - Ph.D., 2014. Jane Street
  • Brent Yorgey - Ph.D., 2014. Hendrix College
  • Sela Mador-Haim - ABD, 2013. Coverity
  • Michael Greenberg - Ph.D., 2013. Stevens Institute of Technology
  • Marco Gaboardi - Postdoc, 2013. Boston University
  • Karl Mazurak - Ph.D., 2013. Google
  • Jianzhou Zhao - Ph.D., 2013. Facebook
  • Hongbo (Bob) Zhang - Masters, 2013.
  • Delphine Demange - Postdoc, 2013. University of Rennes
  • Cătălin Hriţcu - Postdoc, 2013. MPI-SP
  • Benoît Valiron - Postdoc, 2013. CentraleSupélec
  • Benoît Montagu - Postdoc, 2013. Inria
  • Jyotirmoy Deshmukh - Postdoc, 2012. University of Southern California
  • Ashutosh Trivedi - Postdoc, 2012. University of Colorado, Boulder
  • Aaron Bohannon - Ph.D., 2012. Google
  • Pavol Cerný - Ph.D., 2009. TU Wien
  • Nate Foster - Ph.D., 2009. Cornell University
  • Limin Jia - Postdoc, 2009. Carnegie Mellon University
  • Jeff Vaughan - Ph.D., 2009. Google
  • Gera Weiss - Postdoc, 2009. Ben Guiron University
  • Aditya Kanade - Postdoc, 2009. IISc Bangalore
  • Peng Li - Ph.D., 2008. Google
  • Mikhail Bernadsky - Ph.D., 2008. Microsoft
  • Dimitrios Vytiniotis - Ph.D., 2008. DeepMind
  • Alwyn Goodloe - Ph.D., 2008. NASA
  • Wonhong Nam - Ph.D., 2007. Konkuk University
  • Swarat Chaudhury - Ph.D., 2007. University of Texas, Austin
  • Stephen Tse - Ph.D., 2007.
  • Sebastian Burckhard - Ph.D., 2007. Microsoft Research
  • Geoffrey Washburn - Ph.D., 2007. LogicBlox
  • Vladimir Gapeyev - Ph.D., 2006.
  • Michael McDougall - Ph.D., 2005. Grammatech
  • Michael Levin - Ph.D., 2005. Microsoft
  • Arun Chandrasekharapuram - Masters, 2005.
  • Madhusudan Parthasarathy - Postdoc, 2004. UIUC
  • Jason Simas - Masters, 2004.
  • Gunjan Gupta - Masters, 2004.
  • Eijiro Sumii - Ph.D. @ Tokyo, 2004. Tohoku University
  • Zijiang Yang - Ph.D., 2003. Western Michigan
  • Franjo Ivancic - Ph.D., 2003. Google
  • Supratik Mukhopadhyay - Postdoc, 2002. Louisiana State University
  • Thao Dang - Postdoc, 2001. CNRS
  • Salvatore La Torre - Ph.D., 2001. University of Salerno
  • Minsu Kang - Masters, 2001.
  • Michael Hicks - Ph.D., 2001. University of Pennsylvania
  • Haruo Hosoya - Ph.D. @ Tokyo, 2001.
  • Bow-Yaw Wang - Ph.D., 2001. Academia Sinica
  • Radu Grosu - Postdoc, 2000. TU Vienna
  • Himyanshu Anand - Masters, 2000.
  • George Pappas - Postdoc, 2000. University of Pennsylvania
  • Atsushi Igarashi - Ph.D. @ Tokyo, 2000. Kyoto University
  • Arnabnil Bhattacharjee - Masters, 1999.