* 2018 Halmstad Summer School on Testing, Sweden: course on Testing Concurrent Systems
* 2017 International Summer School on Software Engineering, Salerno: course on Self-healing Software Systems
* 2016 Università di Bolzano: course on Self-healing Software Systems
* 2014,2015 Università di Trento: course on Static and Dynamic Program Analysis
* 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)