Occupations



• 2018-now
Vice Rector of the University of Udine.

• 2005-now
Full professor of Computer Science at the University of Udine, Department of Mathematics, Computer Science, and Physics. He is currently teaching classes in "Databases" and "Automatic verification of systems: theory and applications" (automata, logics, and algorithms).

• 2013-2017
Coordinator of the Evaluation Unit of the University of Udine.

• 2010-2013
Coordinator of the Undergraduate Courses in Computer Science of the Department of Mathematics and Computer Science.

• 2007-2009
Head of the Department of Mathematics and Computer Science.

• 1998-2005
Associate professor of Computer Science at the University of Udine, Department of Mathematics and Computer Science.

• 1991-1998
Assistant professor of Computer Science at the University of Udine, Department of Mathematics and Computer Science.

• 1989-1991
Researcher at CISE - Tecnologie Innovative, Milano, Artificial Intelligence and Software Engineering Group. During this period, he was involved in national (CNR Project on Information Systems and Parallel Computating) and international (ESPRIT Project n. 2409 EQUATOR: an Environment for QUAlitative and TempOral Reasoning) research projects.

• 1987-1988
Civil Service