Tag Archives

Archive of posts published in the category: Penn

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.

Keep in Touch

Check out [plclub] resources and tools on


Related Groups at Penn

PLClub Discussion Group

We meet on Fridays, 12 – 1:30pm at Levine 307.

  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



Yannick Zakowski

Ph.D. Students


  • 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.,
Read More

Software at Penn State |

News & Updates

New URL for Software at Penn State Details

New URL for Software at Penn State
Beginning on March 9, the software store at Penn State…
read more

Return Policy Update Details

Return Policy Update
In order to maintain the lowest possible prices and to ensure efficient processing of orders…
read more

Lower Prices for Software Details

Lower Prices for Software
Software at
Read More