Alessio Ferrari is a research scientist at ISTI–CNR (Pisa, Italy) and member of the Formal Methods and Tools Lab. His main research interests are requirements engineering, empirical software engineering, and applications of formal methods. In these fields, he has published over 80 peer-reviewed papers in conferences and journals. He has been working as system engineer at General Electric Transportation Systems s.p.a., a world leading railway signaling manufacturer, where he used formal methods and code generation for the development of railway systems.