- Informatica Generale II
Bachelor course at the Faculty of Engineering Telecomunication of the University of Trento- Academic year 2006-2007
- Academic year 2005-2006
- Academic year 2004-2005
- Academic year 2003-2004
- Academic year 2002-2003
- Advanced Formal Methods
PhD Course at the ICT International Doctorate School of the University of Trento- Academic year 2004-2005.