Franco Mazzanti is currently a senior researcher with ISTI–CNR, Pisa, Italy, and member of the Formal Methods and Tools lab. He is currently the main designer and an author of the KandISTI formal verification framework, which includes the explicit, on-the-fly model-checking tools CMC, FMC, UMC, and VMC. He has authored more than 40 papers in the field of formal methods. His research interests include design and support of state- and event-based branching-time temporal logics for the specification and evaluation of system requirements and the exploitation of formal methods and tools diversity for the analysis of concurrent, asynchronous systems. He has applied his research in many EU projects, among which ASTRail and 4SECURail.