Programming Languages @ Penn

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. Table of Contents Keep in TouchCoursesRelated Groups at Penn PLClub Discussion GroupRulesPeople of PLClubFacultyPostdocsPh.D. StudentsAlumni Keep […]

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

Next Post

N3FJP's Amateur Radio Software

Fri Apr 3 , 2020
Amateur Contact Log Field Day Contest Log Welcome! Thanks for visiting our amateur radio software website. I became an amateur radio operator in 1976, at the age of 14 and have been enjoying many facets of amateur radio ever since. I enjoy working contests, making contacts via CW and phone, […]