2010 SERENE Spring School: course on Software self-helaing, London

2009 ETH LASER summer school: course on From testing to dynamic analysis, Elba Island

2009 COMES autumn school: course on Testing Complex Software System, London

2008 USI - Russian Academy of Science summer school: course on “Software Testing and Analysis”, San Petersburg

2007 and 2008 CMU-USI summer school on Dependable Software Systems: course on Dynamic analysis and self healing software, Lugano

2010 member of the committee of the doctoral symposium of the International Conference on Graph Transformation Systems (ICGT)

2009 member of the committee of the doctoral symposium of the international conference on software engineering (ICSE)

2009 member of the committee of the doctoral symposium of the international conference on graph transformation systems (ICGT)

2009 member of the committee of the doctoral symposium of the International Conference on Software Engineering (ICSE)

2008 chair of the committee of the doctoral symposium of the international conference on software engineering (ICSE)

2008 member of the committee of the doctoral symposium of the International Conference on Graph Transformation Systems (ICGT)

2008 member of the committee of the doctoral symposium of the International Conference on Software Testing and Analysis (ISSTA)

2006 keynote speaker at the Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS)