Occupations



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

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