Carlo Montangero
is full professor of Informatics (INF-01) at the Department of Informatics of
the University of Pisa, since
1/11/81.
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.
He advised
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.