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
Biography
Publications
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




Visits since January 2017
www.reliablecounter.com
www.analogmix.com
Last Updated: 19 January 2017