GIANPIERO CABODI

Scarica il contatto come vcard Foto

Prof. Associato Confermato

+39 0110907082 / 7082 (DAUIN)

Pagina web personale

Settore scientifico discliplinare ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(Area 0009 - Ingegneria industriale e dell'informazione)
Identificativi ORCID: 0000-0001-5839-8697
Competenze

Parole chiave libere

Binary decision diagrams Cybersecurity Embedded system design Explainable ai Formal verification Model checking Sat solvers
Responsabilità scientifiche e altri incarichi

Congressi

  • DIFTS (International Workshop on Design and Implementation of Formal Tools and Systems), Program chair (presidente/responsabile del comitato scientifico)
  • FMCAD (Formal Methods in Computer-Aided Design), Program chair (presidente/responsabile del comitato scientifico)