Marco Bozzano

Contact Details

Marco Bozzano
Senior Researcher
Fondazione Bruno Kessler
Via Sommarive 18, 38123 Trento - ITALY
bozzano fbk eu
Phone: +39 0461 314367
Mobile: +39 366 6722580 (calls only, no SMS)

Research interests: Formal Methods, Model Checking, Safety Assessment, Dependability
The xSAP safety analysis platform

Design and Safety Assessment of Critical Systems
CRC Press - Taylor & Francis, November 2010
Formerly, I used to work in Logic Programming and Linear Logic

PhD Thesis
Former member of the Logic Programming Group at DISI

Last Updated: 15 February 2019