He was born in Bergamo, Italy, on 25/6/44 and graduated in Electronic Engineering at the Politecnico di Milano in 1969, as an alumn of the Collegio Ghislieri in Pavia.
He speaks English and French fluently, and is a member of ACM, the Computer Society, AICA (the Italian Association for Automated Computation), EASST and GRIN (Italian Group of Researchers in Informatics).
He has been visiting scientist at the Datalogilaboratoriet of the Computer Science Department of Uppsala University (Sweden), in October 1972, at the Artificial Intelligence Laboratory of Stanford University, Stanford, Ca, from 1/11/75 to 31/10/76, at the Interoperable Systems Research Centre of the Computer Science Department of City University, London, from 1/2/97 to 2/5/97, at the International Institute for Software Technologies of the United Nations University in Macao, from 20/9/07 to 19/11/07, and at the Department of Computer Science of the University of Leicester, UK, from 15/3/08 to 15/4/08.
He has been granted research funds by:
He participated in the IST-GC projects funded by the EU SENSORIA, from 1.9.2005 to 28.2.2010, and DEGAS, from 1/1/2002 to 31/12/2004.
He advised Jessica Chen's PhD thesis Formalisms and Verification towards Software Process Modelling, defended at the Scuola Normale Superiore in Pisa, in July 1992, with E. Astesiano (University of Genoa) and M. Wirsing (University of Passau) as external reviewers.
He advised Laura Semini's PhD thesis Refinement in Tuple Space Languages, defended at the University of Pisa, in January 1996, with K. Apt (University of Amsterdam) and G.-C. Roman (University of St. Louis) as external reviewers.
Simone Semprini's PhD thesis Specification and
Verification of Mobile Systems, defended at the University of Pisa, in May
2004, with A. Murphy (University of Rochester, USA) and C. Heitmeyer
He was reviewer of the works by Dr. F. Oquendo for his "Diplome d'habilitation ŕ diriger des recherches" at the J. Fourier University of Grenoble (F), on 5/1/95; and of the PhD thesis of Mr W. Melo, at the J. Fourier University of Grenoble (F) on 22/10/93, of Mr. A. Kaba at the National Politechnique Institute of Lorraine, Nancy (F), on 3/7/96, of Mr. M. Amiour at the J. Fourier University of Grenoble (F), on 17/6/99, of Mr. P.Tiako at the National Politechnique Institute of Lorraine, Nancy (F), on 20/10/99 and of Mrs S. Cîmpan at the University of Savoie (F), on 28/1/00.
He has been associate professor of Teoria e applicazioni delle Macchine Calcolatrici (Theory and Applications of Computers) at the Department of Informatics of the University of Pisa from 1/11/1972 to 31/10/1981, when he was appointed full professor with tenure in the same institution. He is currently professor of Informatics.
Since 1997/98 he has been teaching Software Engineering at the Department of Informatics the University of Pisa.
He has been associate professor of Computer Science at the Academy of the Italian Navy in Leghorn, from 1982 to 2002 (besides 1997-1999).
He taught graduate courses of Software Engineering for the Dottorato di Ricerca in Informatica in Pisa in the academic years 1984/85, 1988/89, 1989/90 and a graduate course on Software Process Technology in 1993/94 and 1995/96.
He gave a tutorial on The UML and formal methods at the 1st Int. School on Software Engineering, held at the University of Salerno, 2003.
He gave a tutorial on Software Process Modelling at the 2nd UNESCO International School on Technology Trasnfer in Software Engineering, held at the University of Vina del Mar, Chile, 13-18/1/97.
He gave a tutorial on Advances in Software Engineering in the UNESCO School on Principles and Advances in software Construction and Optimization, held at the University of Vina del Mar, Chile, 9-27/1/95.
He gave a tutorial on Modeling the Software Process Development, together with V. Ambriola, at the 4th Int. Conf. on Software Engineering and Knowledge Enginering, held in 1992, in Capri.
He was director of a week long course on Software Engineering methods and tools held at the Scuola Superiore G. Reiss Romoli, L'Aquila - Italy, in October 1987 and 1988.
He was co-director of a eight week course on Process Control Computers held at the Dipartimento Formazione dell'ENEL in Piacenza repeatedly from 1989 to 1993. He also lectured on Programming, in the same course.
He has been chairman of the Council of the Corso di Laurea in Scienze dell'Informazione (Undergraduate Curriculum in Computer Science) of the University of Pisa in the academic years 1977/78, 1981-83, and of the Committe for Curricular Matters of the Faculty of Mathematical, Physical and Natural Sciences of the same university in the years from 1984 to 1986.
He is a member of the Board of Dottorato di Ricerca in Informatica (Graduate Studies in Informatics) at the Department of Informatics the University of Pisa, since its establishment in 1983.
He is/has been reviewer for many journals, including Information and Computation, ACM Transactions on Software Methodologies, IEEE Transactions on Software Enginering.
He has been on the Program Committee of many international conferences, including several instances of the Int. Conf. On Software Engineering, Eur. Conf. on Software Engineering, Fundamental Aspects of Software Engineering.
He has been vice-director of the Department of Informatics of the University of Pisa from 1998 to 2006.
He has been a member of the Steering Committee of the European Workshops on Software Process, from 1996 to 1999, chaired the Program Committee of the 5th edition, held in Nancy in October 1996, and served on the Program Committee of the forth, sixth and seventh edition, held in 1995, 98 and 2000.
He served on the program committee of the 3rd Int. Conf. on Engineering of Complex Computer Systems (ICECCS’97), the First Int. Workshop on the Many Facets of Process Engineering, held in 1997, the 14th, 15th and 16th Int. Conference on Software Engineering held in 1992, 93 and 94, and of the 4th and 8th European Conference on Software Engineering, held in 1993 and 2001.
In 2000 he took part in the working group of the Italian Space Agency to define the strategic development of the Scientific and Technological Research for Space Information Technologies.
He has been Co-ordinator of the Sottoprogetto 6 - Metodi e strumenti per la progettazione dei sistemi of the special program Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of the Italian National Research Council (CNR), from November 93 to November 95.
He has been chairman of the Scientific Committee for the Mathematical Sciences (including Informatics) of the University of Pisa from 1983 to 1990.
He has been a member of the Ada-Europe Working group for the portability of Ada programs, sponsored by the CEC, in 1980 and 1981. He acted as referee in the evaluation of applications for the CEC Multi-Annual Program, in October 1984, and for ESPRIT-II in April 1988. He has been reviewer of the ESPRIT DRAGON project, from 1987 to 1991.