Teaching

Spring 2024

Gran Sasso Science Institute (IT)

• Knowledge Representation and Ontology Engineering. Core course, doctoral programme Computer Science @ GSSI. Lectures, exam.
• Co-taught Engineering of Human-Centric and Smart Systems. Core course, doctoral programme Computer Science @ GSSI. Lectures, exam.

Spring 2023

Free University of Bozen-Bolzano (IT)

• Sistemi Operativi. OpSy-2223. Bachelor in Computer Science. Lectures, exercises, labs.

Fall 2022

Free University of Bozen-Bolzano (IT)

• Discrete Mathematics. DiMa-2223. Bachelor in Computer Science. Lectures.

Summer 2022

Gran Sasso Science Institute (IT)

• Engineering of ontologies with Description Logic. Advanced course, doctoral programme Computer Science @ GSSI. Lectures, tutorials.

Fall 2021

Free University of Bozen-Bolzano (IT)

• Decision Making and Support Systems. DeMaSuSy-2122. Master in Computational Data Science. Lectures, exercises, labs.

Fall 2020

Free University of Bozen-Bolzano (IT)

• Decision Making and Support Systems. DeMaSuSy-2021. Master in Computational Data Science. Lectures, exercises, labs.

Fall 2019

Free University of Bozen-Bolzano (IT)

• Decision Making and Support Systems. DeMaSuSy-1920. Master in Computational Data Science. Lectures, exercises, labs.
• Mathematics I - Logic and Discrete Mathematics. MaLoDiMa-1920. Bachelor in Computer Science. Exercises.

Spring 2019

Free University of Bozen-Bolzano (IT)

• Fundamentals of programming. FunPro 1819. Bachelor in Wood Engineering. Lectures, exercises, labs.

Fall 2018

Free University of Bozen-Bolzano (IT)

• Mathematics I - Logic and Discrete Mathematics. LoDiMa 2018. Bachelor in Computer Science. Exercises.

Summer 2018

EASSS'18 @ Maastricht (NL)

• Logics of Agency, co-taught with Daniele Porello.

Spring 2018

Free University of Bozen-Bolzano (IT)

• Operating systems. CoSyOpSy-1718. Bachelor in Computer Science. Exercises, labs.

Summer 2016

ESSLLI'16 @ Bozen-Bolzano (IT)

• Logics of Agency.

2015-2016

IUT Sénart-Fontainebleau (FR)

• Bases de données (IUT1-S1). Lectures, exercises, labs.
• Mathématiques discrètes (IUT1-S1). Lectures, exercises.
• Bases de données (IUT1-S2). Lectures, exercises, labs.
• Mathématiques discrètes (IUT1-S2). Lectures, exercises.

2014-2015

Univ. Paris-Est Créteil (FR)

• Algorithmique expérimentale (L1). Exercises, labs.
• Architecture des ordinateurs (L2). Labs.
• Dévelopement de programmes (L3). Labs.
• Mathématiques discrètes (L2). Exercises.