Dipartimento di Informatica

Anna Labella obtained her Degree in Mathematics from the “Sapienza” University of Rome in1970.

She obtained her “License” in Philosophy from the Gregorian University, Rome, in 1989.

After graduating she took up a research position at the “Istituto di Matematica” of the “Sapienza” University of Rome, working on category theory, before becoming an Assistant Professor in Algebra at the Istituto in 1973 and an Associate Professor in “Matematiche Complementari” in 1980.

From 1976 to 1977 she taught “Istituzioni di Matematica” as part of the degree program in Psychology at the “Sapienza” University of Rome.

From 1992 to 1995 she taught “Logics” in the Philosophy Faculty of the Gregorian University, Rome.

In 1992 she joined the “Dipartimento di Informatica” of the “Sapienza” University of Rome, where she taught “Logica Matematica” as part of the degree program in Computer Science, and for which in subsequent years she also taught “Teoria dei Modelli” and “Metodi formali dell'Informatica”. In addition she also taught “Logica Matematica” for the PhD program in Mathematics and “Teoria dei Modelli” for the PhD program in “Informatica”.

Since 2000 she has been a Full Professor in Computer Science.

From 2001 to 2004 she was Director of Studies for the programs in “Informatica” and “Tecnologie Informatiche”.

---