Benjamin C.
Pierce
Information
Research
Climate Change
Teaching
- Spring 2019:
Programming
Languages and Techniques I (CIS120)
- Older course
materials:
Advanced
Topics in Programming Languages, CIS670: Verified Systems Software (Fall 2015)
Advanced
Topics in Programming Languages, CIS670: Advanced Martial Arts in Coq (Fall 2012),
Software
Foundations (CIS500, many offerings)
Programming
Languages and Techniques I (CIS120, many offerings),
Advanced
Programming (CIS552, 2008, 2014, etc.),
Mathematical Foundations of Computer
Science (CSE260, 2007),
Proof Theory for Programming Languages (CIS700-009,
2005),
Advanced
Topics in Programming Languages
(CIS670, 2011 and
2004), Distributed Data (CIS700,
2002), Global Computing
(2001), Languages for Programming
the Web (1997)
Professional Activities
- Meetings:
CPP 2020 (PC),
OOPSLA 2019 (ERC),
SecDev 2019 (PC),
Types 2019 (PC),
ICFP 2018 (ERC),
OCAP 2017 (PC),
CoqPL 2017 (PC),
PLAS 2016 (PC),
ICFP
2016 (ERC),
SNAPL 2015 (PC),
TPDP 2015 (PC),
PLAS 2015 (PC),
CSF 2014 (PC),
PLAS 2014 (PC),
POPL 2013 (PC),
OPLSS 2012 (co-organizer),
TLDI 2012 (PC chair),
TLDI 2011 (PC),
WMM 2010 (PC chair),
OPLSS 2010 (lecturer),
LFMTP 2010 (PC),
PMMPS 2010 (PC),
OOPSLA 2010 (PC),
MFPS 2010 (PC),
PLDI 2010 (ERC),
FOSSACS 2010 (PC),
POPL 2009 (PC chair),
DSL 2009 (PC),
WMM 2007 (SC),
GTTSE 2007 (SC),
LFMTP 2007 (PC),
TFP 2007 (PC),
DBPL 2007 (PC),
ESOP 2007 (PC),
TAP 2007 (PC),
POPL 2007 (PC),
PLAN-X 2006 (SC and PC),
ICFP 2005 (PC chair), etc.
- Editorial boards:
Journal of Functional
Programming (co-EIC, emeritus), Logical
Methods in Computer Science (managing editor, emeritus),
Mathematical Structures in
Computer Science,
Formal
Aspects of Computing (FAC),
Electronic Proceedings in Theoretical
Computer Science (EPTCS)
- Groups:
IFIP Working
Group 2.8
Past and present Ph.D. students:
-
Jessica Shi, current;
Joseph Cutler, current;
Harrison Goldstein, current;
Li-Yao Xia, 2022 (postdoc at University of Edinburgh);
Hengchu Zhang;
Yishuai Li, 2022 (Alibaba);
Leonidas Lampropoulos, 2018 (University of Maryland);
Justin Hsu, 2017 (Cornell)
Arthur Azevedo de Amorim, 2017 (RIT);
Michael Greenberg, 2013 (NJIT);
Aaron Bohannon, 2012;
Nate Foster, 2009 (Cornell);
Eijiro Sumii, 2004 (Sendai University);
Vladimir Gapeyev, 2006;
Michael Levin, 2005 (Microsoft);
Haruo Hosoya, 2001 (University of Tokyo);
Atsushi Igarashi, 2000 (University of Tokyo);
Uwe Nestmann, 1996 (TU Berlin);
Martin Steffen, 1998 (Oslo);
David N; Turner, 1995, co-supervised, with Robin Milner (Amazon);
Miscellaneous
Personal
Rogues Gallery
