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
- CIS 500 : Software Foundations
- CIS 540 : Principles of Embedded Computation
- CIS 547 : Software Analysis
- CIS 552 : Advanced Programming
- CIS 670 : Rotating PL Seminar
- CIS 673 : Computer-Aided Verification
Related Groups at Penn
PLClub Discussion Group
We meet on Fridays, 12:00pm - 1:00pm at Levine 307.Rules
- Talk about PLClub! Anyone is welcome.
- If it's your first semester at PLClub, you have to PL.
- Talks start at 12:00pm.
- 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
Postdocs
Ph.D. Students
Alumni
- Paul He - Ph.D., 2024. University of Toronto
- Pritam Choudhury - Ph.D., 2023.
- Lucas Silver - Ph.D., 2023.
- 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.
- Elizabeth Dinella - Ph.D., 2023.
- 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. UC Davis
- Yuepeng Wang - Postdoc, 2021. Simon Fraser U.
- 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 Univ.
- Robert Rand - Ph.D., 2018. U. Chicago
- Richard Zhang - Masters, 2018.
- Nimit Singhania - Ph.D., 2018. Google
- Leonidas Lampropoulos - Ph.D., 2018. U. Maryland
- Konstantinos Mamouras - Postdoc, 2018. Rice
- 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 U.
- Justin Hsu - Ph.D., 2017. Cornell
- 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, CMU
- William Mansky - Postdoc, 2016. UIC
- Salar Moarref - Ph.D., 2016. Uber
- Richard A. Eisenberg - Ph.D., 2016. Jane Street
- Mukund Raghothaman - Ph.D., 2016. USC
- Matthew Weaver - Undergrad, 2016. Princeton
- Dmitri Garbuzov - Masters, 2016.
- Dana Fisman - Postdoc, 2016. Ben Gurion Univ.
- 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. U. 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. USC
- Ashutosh Trivedi - Postdoc, 2012. U. Colorado, Boulder
- Aaron Bohannon - Ph.D., 2012. Google
- Pavol Cerný - Ph.D., 2009. TU Wien
- Nate Foster - Ph.D., 2009. Cornell
- Limin Jia - Postdoc, 2009. CMU
- Jeff Vaughan - Ph.D., 2009. Google
- Gera Weiss - Postdoc, 2009. Ben Guiron Univ.
- Aditya Kanade - Postdoc, 2009. IISc Bangalore
- Peng Li - Ph.D., 2008. Google
- Mikhail Bernadsky - Ph.D., 2008. Microsoft
- Dimitrios Vytiniotis - Ph.D., 2008. MSR Cambridge
- Alwyn Goodloe - PhD, 2008. NASA
- Wonhong Nam - Ph.D., 2007. Konkuk Univ.
- Swarat Chaudhury - Ph.D., 2007. Rice
- Stephen Tse - Ph.D., 2007.
- Sebastian Burckhard - Ph.D., 2007. MSR
- 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 Univ.
- Zijiang Yang - Ph.D., 2003. Western Michigan
- Franjo Ivancic - Ph.D., 2003. Google
- Supratik Mukhopadhyay - Postdoc, 2002. Louisiana State Univ.
- Thao Dang - Postdoc, 2001. CNRS
- Salvatore La Torre - Ph.D., 2001. U. Salerno
- Minsu Kang - Masters, 2001.
- Michael Hicks - Ph.D., 2001. Amazon Web Services
- Haruo Hosoya - Ph.D. @ Tokyo, 2001. Tokyo Univ.
- Bow-Yaw Wang - Ph.D., 2001. Academia Sinica
- Radu Grosu - Postdoc, 2000. TU Vienna
- Himyanshu Anand - Masters, 2000.
- George Pappas - Postdoc, 2000. UPenn
- Atsushi Igarashi - Ph.D. @ Tokyo, 2000. Kyoto Univ.
- Arnabnil Bhattacharjee - Masters, 1999.