Professore emerito di Ingegneria Informatica presso La Sapienza di Roma. Dal 1996 è membro dell’Academia Europaea e nel 2004 ha ricevuto il dottorato honoris causa dall’Università di Parigi-Dauphine. Tra le opere di cui è co-autore ricordiamo Complexity and Approximation (Springer, 1999), The Power of Algorithms (Springer, 2013), Linguaggi, modelli, complessità (Franco Angeli, 2014) e The Making of a New Science (Springer, 2018).