Dr. Mieke Massink


Consiglio Nazionale delle Ricerche
Istituto ISTI (former CNUCE)
Formal Methods && Tools Group
Area della Ricerca CNR
Via Moruzzi 1
I-56124 Pisa (PI)

phone: +39 0503152981 or +39 348 8283102
fax  : +39 0503138091 or +39 0503138092
email: mieke.massink isti.cnr.it

Last update:  March 2017 by Mieke Massink

Brief Biography

Mieke Massink studied Computer Science at the University of Nijmegen  (now Radboud University Nijmegen) where she
graduated in 1988 in Computer Science. In 1989 she was research assistant at the University of Twente and teaching assistant
at the University of Nijmegen. From 1989 to 1995 she was employed by the Dutch Organisation for Scientific Research (NWO)
in the research group on declarative formalisms at the University of Nijmegen were she received her
Ph. D. degree in 1996 with Prof. dr. ir. R. T. Boute. Her thesis was a study on a Functional Approach to Concurrency Theory
combining declarative specification techniques with those of process algebra.
During her Ph. D. studies she spent several times a few months at C.N.R.-Ist. CNUCE,
Pisa, Italy as Visiting Researcher. From 1996 to 1997 she was Visiting Researcher at CNUCE in the context of the
European Human Capital and Mobility (HCM) programme for the IRIS project (Interactionally Rich Immersive Systems)
in the IRS Research Network (Interactively Rich Systems). Her scientific activity within that network was to apply and develop
formal methods for the specification, design and verification of Human Computer Interfaces.
In 1997 and 1998 she has been teaching a course on Social Responsibility of Computer Scientists at the University of Pisa.
In 1998 she was Visiting Researcher at the University of York, U.K., in the context of the European TMR research
network TACIT (Theory and Application of Continuous Interaction Techniques) were she was hosted by the
Human Computer Interaction group. She continued her TMR TACIT fellowship from 1998 to June 2000 at CNUCE.
In June 2000 she joined CNUCE as a researcher. In 2002 CNUCE and IEI joined to form the research institute ISTI where
she continued her research in the Formal Methods and Tools Group. Her current research interest are the development
and application of Formal Methods for stochastic model checking of mobile service oriented systems and large scale collective adaptive systems.

Present Research Interests

My current main research interests are in formal specification and verification models and tools for concurrent systems, in particular large
scale collective adaptive systems, and their applications. In particular, I am  interested in semantic models for process algebras and automata,
and their  quantitative extensions, mainly deterministic-timed and/or stochastic-timed and/or probabilistic ones. Moreover,
I am working on  the application and development of formal techniques and tools for the specification, design and verification
of Human Computer Interaction.
Computers and computer technology can be used in many ways and have often quite some impact on the way society is being
shaped. I'm interested in studying the issues at stake and involve a wider public in discussion and decision making on these issues.

Membership of Programme Committees

Participation in Projects

Participation to Previous Projects


Previous Courses and Tutorials


Over 50 published papers in the areas of formal verification methods, large scale formal verification of Collective Adaptive Systems, Global Computing, formal verification in HCI, continuous
interaction, formal semantics of UML, testing theory, computer science and society. A selection of these papers
can be downloaded from my list of publications at the ISTI publications site. See also the list on DBLP.