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

MostraNascondi A.A. passati

Corso di laurea magistrale

MostraNascondi A.A. passati

Corso di laurea di 1° livello

MostraNascondi A.A. passati

Ricerca

Gruppi di ricerca

Progetti di ricerca

Progetti finanziati da bandi competitivi

Progetti finanziati da contratti commerciali

Mostra di piùMostra meno

Pubblicazioni

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

Società e imprese

Brevetti e altre proprietà intellettuali