• Homepage
• Research
• Programming
• Teaching
• Contact
• 

Editorial board

• I'm a member of the editorial board of the Journal of Functional Programming; please consider submitting.

Program chair

• VSTTE 2009, with Leo Freitas
• PLPV 2010, with Cormac Flanagan
• The 2nd Verified Software Competition (aka VSTTE 2012 Software Verification Competition), with Andrei Paskevich and Aaron Stump, on November 2011. Here is my talk at VSTTE 2012 about the competition.

Program committees

• HaTT 2016
• SLATE'16
• VSTTE 2016

• AVoCS 2015
• NFM 2015
• SLATE'15
• TFP 2015

• JFLA 2014
• SLATE'14

• NFM 2013
• CPP 2013
• SLATE 2013
• VeriSure 2013
• VSTTE 2013

• APLAS 2012
• BOOGIE 2012
• NFM 2012
• SLATE 2012
• VSTTE 2012

• ACCA 2011
• INFORUM 2011
• ITP 2011

• AFM 2010
• GCVS 2010
• INFORUM 2010
• IWS 2010

• AFM 2009
• PLMMS 2009
• TPHOLs 2009

• AFM 2008
• JPLMMS 2008
• MSFP 2008
• TPHOLs 2008

• AFM 2007
• PLMMS 2007
• TPHOLs 2007