Programming Languages @ Penn

Programming Languages @ Penn

  • April 3, 2020
  • 0 comments

Programming Languages @ Penn

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 – 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.


People of PLClub

Faculty

Postdocs

Yannick Zakowski

Ph.D. Students

Alumni

  • 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. Postdoc, UMD
  • Richard Zhang – Masters, 2018.
  • Nimit Singhania – Ph.D., 2018. Google
  • Leonidas Lampropoulos – Ph.D., 2018. Postdoc, U. Maryland, UPenn
  • Konstantinos Mamouras – Postdoc, 2018. Rice
  • Jennifer Paykin – Ph.D., 2018. Galois
  • Dong-Ho Lee – Masters, 2018. CEA List
  • Christine Rizkallah – Postdoc, 2018. UNSW
  • Xin Zhang – Ph.D., 2017. Postdoc, MIT
  • Kenny Foner – Masters, 2017. Galois
  • Justin Hsu – Ph.D., 2017. U. Wisconsin
  • Arthur Azevedo de Amorim – Ph.D., 2017. Postdoc, CMU
  • 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. Tweag I/O
  • 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. Draper Labs
  • Brent Yorgey – Ph.D., 2014. Hendrix College
  • Sela Mador-Haim – ABD, 2013. Coverity
  • Michael Greenberg – Ph.D., 2013. Pomona College
  • 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. Inria Paris
  • Benoît Valiron – Postdoc, 2013. CentraleSupélec
  • Benoît Montagu – Postdoc, 2013. Inria
  • Aravind Machiry – Masters, 2013. Ph.D., UCSB
  • Jyotirmoy Deshmukh – Postdoc, 2012. USC
  • Ashutosh Trivedi – Postdoc, 2012. U. Colorado, Boulder
  • Aaron Bohannon – Ph.D., 2012. Google
  • Pavol Cerný – Ph.D., 2009. U. Colorado, Boulder
  • 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
  • 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.
  • 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.

Computer & Information Science

School of Engineering and Science

University of Pennsylvania

Source Article