Postgraduate Tutor

• PhD Matters at Imperial College some slides about doing a PhD at our department can be found here.

Conferences PC Chair

• ECOOP 2009 (chair) in Genova,
• ESOP 2008 (chair) in Budapest,

Conferences PC Member (upcoming in bold)

• ECOOP 2018 and POPL 2018
• OOPLSA 2016 and OOPSLA 2009,
• ESOP 2016, and ESOP 2011, and ESOP  2007, and ESOP 2000,,
• Splash Onward! 2014,
• POPL 2014, and POPL 2006,
• ECOOP 2013, and ECOOP 2011, and ECOOP 2010, and ECOOP 2004, and  ECOOP 2003,
• PLDI 2012,
• AOSD  2007,
• FMOODS 2005,
• ICFP 1999 (Paris),

Conferences ERC Member

• PLDI 2015, OOPSLA 2015, PLDI 2014, PLDI 2013, ECOOP 2014, OOPSLA 2014,

Workshop Organization

• International Workshop on Inductive Theorem Proving (November 2013)

Selected Workshops PC Member OCAP 2017, BEAT’13, DDFP 2013, FOOL 2011, FOOL 2009, FOOL6 (San Antonio), FOOL 2005, OOPS 2009, IWACO 2007, IWACO 2004,  FOAL’2005,  FTfJP 2006 (Nantes) ,  in 2003 (Darmstadt) , in 2002 (Malaga) , in 2001 (Budapest) , 2000 (Nice), and   FUJ’98 (OOPSLA Workshop) .