Technology

Tag Archives

Archive of posts published in the category: Penn
Apr
12

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

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