Benjamin C.
Pierce
Information
Research
Teaching
- Advanced Programming (CIS552, Spring 2008)
- Old course materials:
Software Foundations
(CIS500, Fall 2007),
Mathematical Foundations of Computer
Science (CSE260, Spring 2007),
Software Foundations (CIS500, Fall 2006),
Advanced Programming (CSE399, Spring 2005), Proof Theory for Programming Languages (CIS700-009,
Spring 2005)
Advanced Topics in Programming Languages
(CIS670, Fall 2004), Software Foundations (CIS500, Fall
2003), Software Foundations (CIS500, Fall 2002), Distributed Data (CIS700, Spring 2002), Programming Languages and Techniques
(CSE120), Global Computing (Spring 2001), Languages
for Programming the Web (Fall 1997)
Professional Activities
- Current/recent conferences:
POPL 2009 (PC chair),
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), PLAN-X
2005 (steering committee), FOOL 12 (general
chair), ICALP 2004 (PC), FOAL
2004 (PC), FOOL 11 (general chair), PLAN-X
2004 (PC), ICFP 2003 (PC), PPDP
2003 (PC),
PLAN-X 2002 (PC co-chair), TCS 2002 (PC), TCS
2002 (PC), ICFP 2002 (steering
committee chair), F-WAN 2002
(PC), WWW 11 (PC), LICS
2002 (PC), LFM 2002 (PC),
TACS 2001 (PC
co-chair)
- Editorial boards: Logical
Methods in Computer Science (LMCS), Theoretical
Computer Science (TCS), Journal
of Functional Programming (JFP), Formal
Aspects of Computing (FAC)
Personal
Miscellaneous