معرفی
Maurice ter Beek is a Senior Researcher at the Formal Methods and Tools (FMT) Group of the Institute of Information Science and Technologies (ISTI), part of the Italian National Research Council (CNR) in Pisa, Italy. He leads the FMT Lab since 2019 and coordinates critical projects like ADVENTURE (railway systems evaluation) and T-LADIES (typeful language adaptation). He serves as Editor-in-Chief of Formal Aspects of Computing and holds editorial roles in journals like Science of Computer Programming. His career spans academic leadership in international conferences (chair of ETAPS 2026, RSSRail 2025, etc.) and extensive collaborations in formal methods, railway systems, and software product lines.
Research Interests: His work focuses on formal methods applied to industrial critical systems, particularly railways, with expertise in variability modeling, attack-defense trees, contract automata, and team automata. Publications address
- quantitative analysis of reconfigurable systems
- model checking for railway safety
- empirical studies on formal methods
- security risk modeling
- collaborative software engineering
Scientific Awards:
- ERCIM Fellowship (2003, 2002)
- SegraVis Fellowship (2005)
- Best Paper at SPLC 2019
- Best Paper at ICIW 2007
- Socrates Grant (EU, 2000-2001)
Additional Roles: He is a faculty member of the joint PhD program in Smart Computing (Florence, Pisa, Siena), member of ISTI’s Institute Council, and coordinates CNR’s involvement in the PNRR National Sustainable Mobility Centre. His global engagement includes over 50 conference organizing roles and editorial board memberships.
