Benjamin C. Pierce

Teaching

• This semester: Advanced Topics in Programming Languages, CIS670
• Older course materials: Software Foundations (CIS500, many offerings) Programming Languages and Techniques I (CIS120, 2010), Advanced Programming (CIS552, 2008), 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: 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), Logical Methods in Computer Science (managing editor), Mathematical Structures in Computer Science, Formal Aspects of Computing (FAC), Electronic Proceedings in Theoretical Computer Science (EPTCS)
• Groups: IFIP Working Group 2.8 (chair)

Miscellaneous

• Heilmeier's Catechism
• Hamming's "You and Your Research" talk
• Advice on graduate studies
• Great Works in Programming Languages

Personal

• Photography
• Jessica Pierce
• Roger Pierce
• Alexandra Pierce
• Carey Young

Rogues Gallery