Automated Planning: Theory and Practice
Master course (in English) at the Master's Degree in Artificial Intelligence Systems at the Department of Information Engineering and Computer Science
Programmazione 1
Bachelor course (in Italian) at the Department of Information Engineering and Computer Science - DISI
Calcolatori
Bachelor course (in Italian) at the Department of Information Engineering and Computer Science - DISI
Academic year 2019-2020
Informatica Generale II
Bachelor course (in Italian) at the Faculty of Engineering Telecommunication of the University of Trento
Academic year 2004-2005
Academic year 2003-2004
Advanced Formal Methods
PhD Course (in English) at the ICT International Doctorate School of the University of Trento
Academic year 2004-2005.