Marco Bozzano is a senior researcher in the Embedded Systems Unit of Fondazione Bruno Kessler.
PhD in Computer Science from the Faculty of Informatics of the University of Genoa in 2002, he got his Master Degree from the University of Genoa in 1997.
Researcher in FBK from 2002, he has strong expertise in the application of formal methods, and he has published a number of papers in the area of formal verification of safety critical systems.
Marco’s home page lives at https://es.fbk.eu/people/bozzano and Marco can be contacted at SURNAME AT FBK.EU
Adolfo Villafiorita is a senior researcher at Fondazione Bruno Kessler.
PhD in Artficial Intelligence from the University of Ancona in 1997, MSc in Electronic Engineering from the University of Genoa in 1993, he was a Visiting Scholar of the AI Department of the University of Edinburgh and of the Formal Reasoning Group at Stanford.
Researcher in FBK from 1997, he has many years of experience in the application of formal methods in technology transfer projects and in the development of security and safety-critical applications.
He is leading the ICT4G unit and he is a contract professor at the University of Trento.