Gianpiero Cabodi

Prof. Associato Confermato

Dipartimento di Automatica e Informatica (DAUIN)

Profilo

Interessi di ricerca

Binary decision diagrams
Cybersecurity
Embedded system design
Explainable ai
Formal verification
Model checking
Sat solvers

Settore scientifico discliplinare

ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(Area 0009 - Ingegneria industriale e dell'informazione)

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)

Didattica

Collegi di Dottorato

  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2006/2007 (23. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2005/2006 (22. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2004/2005 (21. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (20. ciclo)
    Politecnico di TORINO
  • INGEGNERIA INFORMATICA E DEI SISTEMI, 2002/2003 (19. ciclo)
    Politecnico di TORINO
MostraNascondi collegi passati

Collegi dei Corsi di Studio

Insegnamenti

Dottorato di ricerca

Corso di laurea magistrale

MostraNascondi A.A. passati

Corso di laurea di 1° livello

MostraNascondi A.A. passati

Ricerca

Gruppi di ricerca

Pubblicazioni

Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris

Società e imprese

Brevetti e altre proprietà intellettuali