معرفی
Dr. Mieke Massink is a Senior Researcher at the Institute of Information Science and Technologies 'Alessandro Faedo' (ISTI) under the Consiglio Nazionale delle Ricerche (CNR) in Pisa, Italy. Her career spans over three decades with key roles in formal verification, human-computer interaction (HCI), and collective adaptive systems.
Research Interests:
- Formal specification & verification of concurrent systems
- Spatial/spatio-temporal model checking
- Collective adaptive systems analysis
- Stochastic models in user interaction
- Quantitative extensions of process algebras
Recent Publications focus on hybrid AI integration with spatial model checking, polyhedral logic minimization, and scalable verification techniques. Her work bridges formal methods with applications in healthcare and smart environment systems.
Projects: Leads EU-NG MUR-PRIN 2022 Stendhal (spatio-temporal logic), MUR-PNRR THE (health ecosystems), and CNR-SRNSF bilateral collaborations. Previously involved in EU-FET QUANTICOL, PRIN CINA, and FP7 ASCENS projects.
Teaching: Regularly lectures on Stochastic Model Checking for the PhD Program in Smart Computing (Florence/Pisa/Siena) and has taught formal verification courses at the University of Florence.
