Laureato con lode nel 1971 in Ingegneria Elettronica presso l'Università di Roma. Master in Computer Science, Syracuse, USA, nel 1978. Dottorato di ricerca in Computer Science, Edinburgh, Gran Bretagna, nel 1984. Premiato col Prof. Andrzej Skowron dalla Società Matematica Polacca nel 1988. Contrattista presso l'Università di Roma Sapienza (1974-75); ricercatore presso lo IASI-CNR di Roma (1975-1988); professore associato (1988-2005), straordinario (2005-2008), ordinario (dal 2008) presso l'Università di Roma Tor Vergata. Pubblicazione di più di cento articoli in vari campi della teoria della programmazione: sistemi di riscrittura; computazione parallela; trasformazione, sviluppo e verifica automatica dei programmi; programmazione logica. Pubblicazione di sette libri didattici. Docente invitato presso varie istituzioni, tra cui: lo Stanford Research Center, USA; l'Università di Edimburgo; l'Università di Varsavia; l'Università di Utrecht; l'Argonne National Laboratory, Illinois, USA; l'IFIP, San Paolo, Brasile; l'Università di Copenhagen; l'Università di New York; l'AFCET-GT Programmation en Logique, Parigi; l'M.I.T., Boston, USA; l'École Normale Supérieure de Cachan, Francia; la PUL di Roma; la ESSLLI 2000 presso l'Università di Birmingham; l'Università Waseda di Tokyo. Membro eletto dal 1984 dell'IFIP WG 2.1. Membro dal 2003 dell'Editorial Board della rivista Fundamenta Informaticae. Vicepresidente dal 2005 dell'Associazione Italiana di Programmazione Logica. Responsabile dal 1991 del Centro di Ricerca MAP presso il DISP dell'Università di Roma Tor Vergata. Collaboratore di ricerca dello IASI-CNR dal 1988. Relatore per i governi belga (1991) e quello olandese (1993) per la valutazione di progetti di ricerca. Chairman dei convegni: - MetaProgramming in Logic, Uppsala (Svezia), LNCS 649, Springer (1992); - Information: Science and Technology for the New Century, Rome (Italia), ISBN 978-88-465-0562-0 (2000); - LOPSTR 2001, Paphos (Cipro), LNCS 2372, Springer (2001). Membro permanente dello Steering Committee delle Conferenze LOPSTR. Membro del comitato di programma di vari congressi, tra cui: - International Symposium on Methodologies for Intelligent Systems Charlotte, USA, (1986-87), - Symposium on Partial Evaluation and Semantics based Program Manipulation (Copenhagen) (1993), Madrid (Spain) (2010), - CADE 12 (Nancy) (1994), - MetaProgramming in Logic '94 (Pisa) (1994), - Logic Program Synthesis and Transformation LOPSTR 1996, 1997, 1998, 1999, 2000, 2001, 2004, 2007, 2008, - European Symposium Programming '98 (Lisbon), Ukrainian Conference UkrPROG (Kiev), - International Conference Rough Sets and Current Trends in Computing (1998), - International Conference Computational Logic CL 2000 (London), - ASIA-PEPM'02 Asian Symposium PEPM, Aizu (Japan), 2002, - ICLP 2008 24th International Conference on Logic Programming Synthesis and Transformation, Udine (Italy), 2008, - SOFSEM 2010 36th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, (Czech Republic), 2010. Track on: Principles of Software Construction. Referee per varie riviste tra cui: ACM Transactions on Programming Languages and Systems, Acta Informatica, Computing Journal, Journal of Theory and Practice of Logic Programming, Journal of Logic and Computation, IEEE Software Engineering, Theoretical Computer Science. Guest editor di due numeri della rivista Fundamenta Informaticae sulla Trasformazione di Programmi Logici (2005-06). Referee per vari congressi tra cui: ICALP, LICS, IFIP World Congress, Logic Programming, International Conference on Logic Programming, IJCAI, POPL, GI, AICA, CADE, LOPSTR, SAS, PLILP, Principles and Practice of Constraint Programming, PEPM, ESOP. Partecipazione a vari progetti di ricerca, tra cui: - Progetto ESPRIT sulla Trasformazione dei Programmi Logici (1984-89); - Collaborazione tra lo IASI-CNR di Roma e l'Università di Edimburgo (1981-86); - Progetto Finalizzato Informatica I e II (1989-1993); - Erasmus (STV-89-I-329/M) con l'Università di Utrecht (1990); - Network of Excellence in Computational Logic (1991); - Erasmus ICP-91-B-1063 per la mobilità (1991-92); - COMPULOG II ESPRIT Project no. 6810 (1992-1995); - Humal Capital e Mobility CHRX-CT 93-00414 (1993-1996); - Progetto "Anatra: Strumenti per l'analisi e la trasformazione dei programmi" (1994-1995); - Progetto tra l'Europa e l'ex Unione Sovietica, INTAS 93-1702 (1994-1998); - Progetto CNR Programmazione Logica (1995-1996); - Progetto Galileo "Modélisation de systèmes concurrents" con l'École Normale Supérieure di Cachan (Francia) (1997-1998); - Progetto Cofinanziato "Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software" (1998-2000).