Maurice H. ter Beek

Summary

Maurice ter Beek coordinates the Formal Methods and Tools group of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, where he's affiliated since 2003, when he obtained a Ph.D. in Theoretical Computer Science from the University of Leiden in the Netherlands. He has authored over 125 peer-reviewed papers, edited over 25 proceedings and special issues of journals, and next to PeerJ CS he is an editorial board member of the International Journal on Software Tools for Technology Transfer, Journal of Logical and Algebraic Methods in Programming, Science of Computer Programming, and ERCIM News. His research interests concern formal methods and model-checking tools for the specification and verification of safety-critical software systems, recently in particular for applications in service-oriented computing, software product line engineering, and railways. He is or has been PC member or chair of conferences like FM, iFM, FASE, FMICS, FormaliSE, SEFM, SPIN, SPLC, VaMoS, ABZ, AVoCS, COORDINATION, FORTE, RSSRail, and ACSD. He is member of the Steering Committees of the Formal Methods for Industrial Critical Systems (FMICS), Variability Modelling of Software-Intensive Systems (VaMoS) and Systems and Software Product Line Conference (SPLC) series.

Software Engineering Theory & Formal Methods