courses that I hold at international doctoral schools

* 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

doctoral symposia that I contributed to organize

  • 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)