Teaching

Current courses

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

    • Academic year 2021-2022

• Programmazione 1
  Bachelor course (in Italian) at the Department of Information Engineering and Computer Science - DISI

  • • Academic year 2020-2021

  • Calcolatori
    Bachelor course (in Italian) at the Department of Information Engineering and Computer Science - DISI

    • Academic year 2019-2020

Old courses

• Informatica Generale II
  Bachelor course (in Italian) at the Faculty of Engineering Telecommunication 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 (in English) at the ICT International Doctorate School of the University of Trento

  • Academic year 2004-2005.