GIANPIERO CABODI

Download the vcard Photo

Confirmed Associate Professor

+39 0110907082 / 7082 (DAUIN)

Personal web site

Scientific branch ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(Area 0009 - Ingegneria industriale e dell'informazione)
Identifiers ORCID: 0000-0001-5839-8697
Skills and keywords

Keywords

Binary decision diagrams Cybersecurity Embedded system design Explainable ai Formal verification Model checking Sat solvers
Scientific responsibilities and other assignments

Conferences

  • DIFTS (International Workshop on Design and Implementation of Formal Tools and Systems), Program chair
  • FMCAD (Formal Methods in Computer-Aided Design), Program chair