Fixed-term researcher (Ricercatore a Tempo Determinato di Tipo A - RTDa)  at the Department of Information Engineering and Computer Science, University of Trento

Interests

• Modal logics

• Temporal logics

• Description logics

• Combinations thereof

Email

• andrea.mazzullo at unitn.it