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: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
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
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
Lawrence Dunn
Lawrence Dunn
Eleftherios Ioannidis
Eleftherios Ioannidis
Nick Rioux
Nick Rioux
Noé De Santo
Noé De Santo
Phillip Hilliard
Phillip Hilliard
Spyros Pavlatos
Spyros Pavlatos
Stephen Mell
Stephen Mell
Thia Richey
Thia Richey
Yiyun Liu
Yiyun Liu
Ziyang Li
Ziyang Li

Alumni

  • Paul He - Ph.D., 2024. University of Toronto
  • Konstantinos Kallas - Ph.D., 2024. UCLA
  • Harrison Goldstein - Ph.D., 2024. Postdoc, University of Maryland
  • 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. Postdoc, Inria Paris
  • 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. Aptos Labs
  • 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. Postdoc, University of Edinburgh
  • 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. Jane Street
  • Kihong Heo - Postdoc, 2019. KAIST
  • Joachim Breitner - Postdoc, 2019. DFINITY
  • 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. Google
  • Leonidas Lampropoulos - Ph.D., 2018. University of Maryland
  • Konstantinos Mamouras - Postdoc, 2018. Rice University
  • Jennifer Paykin - Ph.D., 2018. Intel Labs
  • 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. Penumbra Labs
  • Daniel Winograd-Cort - Postdoc, 2017. Luminous Computing
  • 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. Princeton University
  • Dmitri Garbuzov - Masters, 2016.
  • Dana Fisman - Postdoc, 2016. Ben Gurion University
  • Abhishek Udupa - Ph.D., 2016. Microsoft
  • Vilhelm Sjöberg - Ph.D., 2015. CertiK
  • Peter-Michael Osera - Ph.D., 2015. Grinnell College
  • Loris D'Antoni - Ph.D., 2015. University of Wisconsin
  • Christos Stergiou - Postdoc, 2015. Google
  • Emilio Jesús Gallego Arias - Postdoc, 2014. MINES ParisTech
  • 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. Bloomberg
  • Delphine Demange - Postdoc, 2013. Rennes 1
  • 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. Microsoft Research Cambridge
  • 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. Amazon Web Services
  • Haruo Hosoya - Ph.D. @ Tokyo, 2001. Tokyo University
  • 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.