Fixed-term researcher (Ricercatore a Tempo Determinato di Tipo A - RTDa)  at the KRDB Research Centre, Faculty of Engineering, Free University of Bozen-Bolzano

Interests

• Modal logics

• Temporal logics

• Description logics

• Combinations thereof

Email

• andrea.mazzullo at unitn.it