Short Curriculum Vitae of Agostino Dovier
- I was born in Grado (GO)---Italy
- I received my `Laurea' (Master degree) in
`Scienze dell'Informazione' (Computer Science)
at the
University of Udine with
full marks on March 7th, 1991.
The title of my thesis was La Programmazione Logica con Insiemi
(Logic Programming with Sets) and it was a joint work with
Enrico Pontelli;
my advisors were
Gianfranco Rossi
and
Eugenio G. Omodeo.
- I received my PhD degree in
`Informatica' (Computer Science) from the
University of Pisa on October, 16th, 1996.
The title of my thesis was
Computable Set Theory and Logic Programming
and my advisor was
Alberto Policriti (see
Abstract of my PhD thesis).
- From April 16th, 1997 to October 30th, 2001 I was
employed as a `ricercatore' (something like
`assistant professor') at the
University of Verona.
- Since November 1st 2001 I am employed as `associate professor'
at the University of Udine.
- My research interests
include:
Constraint Programming Languages design,
Computational Biology,
Action Description Languages,
Graph Algorithms,
and Computable Set Theory.
- I am author or coauthor of more than
90 international publications
and supervisor of more than 70 bachelor, master, or PhD theses.
I have been chair or in the PC of several international conferences and workshops.
(more details here)
- I am in the EC of the italian association for logic programming GULP
and of the internazional association for logic programming ALP; I am editor
of the ALP newsletter.