plclub(宾夕法尼亚大学的编程语言小组)介绍

主页： https://www.cis.upenn.edu/~plclub/

[plclub]   
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 (保持联系)

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.
See full schedule here.
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(他们个人的网站，包括github上的项目)

Faculty

Benjamin PierceMayur NaikOsbert BastaniRajeev Alur
Benjamin Pierce　　　　　　　　Mayur Naik　　　　　　　　　　Osbert Bastani　　　　　　　　　　Rajeev Alur
 
 
Stephanie WeirichSteve Zdancewic
Stephanie Weirich　　　　　　Steve Zdancewic　　　　　　　　
 

Aravind MachirySuguman Bansal

Aravind Machiry　　　　Suguman Bansal
 

Ph.D. Students

Aalok ThakkarAdam SteinAnton XueCaleb StanfordCalvin BeckChris Watson
Aalok Thakkar　　　　Adam Stein　　　　　　Anton Xue　　　　　　　　Caleb Stanford　　　　Calvin Beck　　　　Chris Watson
Elizabeth DinellaHalley YoungHaoxian ChenHarrison GoldsteinIrene YoonJessica Shi
Elizabeth Dinella　　　　Halley Young　　　　　　Haoxian Chen　　　　Harrison Goldstein　　Irene Yoon　　　　　　Jessica Shi
 
Jiani HuangJoey Velez-GinorioJoseph CutlerKishor JothimuruganKonstantinos KallasLawrence Dunn
Jiani Huang      　　　　Joey Velez-Ginorio　　　　Joseph Cutler　　　　Kishor Jothimurugan　　Konstantinos Kallas　　　　Lawrence Dunn
　　　　　　　　　　　　[website]　　　　　　　　[website]　　　　　　[website]　　　　　　　　[website]　　　　　　　　[website]
Eleftherios IoannidisLei ShiLi-Yao XiaLucas SilverNick RiouxOmar Navarro Leija
Eleftherios Ioannidis      Lei Shi　　　　　　　　Li-Yao Xia　　　　　　Lucas Silver　　　　　　Nick Rioux　　　　　　Omar Navarro Leija
 
 
Pardis PashakhanlooPaul HePhillip HilliardPritam ChoudhuryShaan Vaidya 
Pardis Pashakhanloo　　Paul He　　　　　　　　Phillip Hilliard　　　　　　Pritam Choudhury　　Shaan Vaidya　　
 

Stephen MellSteve HsuYao LiYishuai LiYiyun LiuZiyang Li
Stephen Mell　　　　　　Steve Hsu　　　　　　　　Yao Li　　　　　　　　Yishuai Li　　　　　　Yiyun Liu　　　　　　Ziyang Li
　　　　　　　　　　　[website]　　　　　　　　　[website]　　　　　　　[website]　　　　　　　 [website]　　　　　　[website]
 
 
posted @ 2022-06-10 23:22  jinzi  阅读(1)  评论(0)    收藏  举报