Biography
È professore di Informatica presso l’Università di Firenze. Laureato in Matematica presso l’Università di Roma La Sapienza, ha conseguito il titolo di Dottore di Ricerca in Informatica presso la stessa università. Dal 1990 al 1992 è stato ricercatore presso l’Università dell’Aquila. Chiamato nel 1992 come professore associato dalla Sapienza di Roma, ha tenuto corsi di introduzione alla programmazione, di compilatori, di informatica teorica e di intelligenza artificiale. Dal 1997 è all’Università di Firenze, dove attualmente insegna corsi di programmazione e di analisi dei grafi. Autore di numerose pubblicazioni scientifiche nel campo della teoria degli algoritmi e delle sue applicazioni, è co-autore di Problemi, algoritmi e coding (Zanichelli), Strutture di dati e algoritmi (Pearson Education Italia), Gocce di Java (Franco Angeli), Complexity and approximation (Springer Verlag), Introduction to the theory of complexity (Prentice-Hall) e Teoria della complessità computazionale.