Gianpiero Cabodi

Confirmed Associate Professor
Department of Control and Computer Engineering (DAUIN)

Profile

Research interests

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

Scientific branch

ING-INF/05 - INFORMATION PROCESSING SYSTEMS
(Area 0009 - Industrial and information engineering)

Conferences

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

Teaching

Collegi of the PhD programmes

  • 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 of the degree programmes

Teachings

PhD

MostraNascondi A.A. passati

Master of Science

MostraNascondi A.A. passati

Bachelor of Science

MostraNascondi A.A. passati

Research

Research groups

Research projects

Projects funded by competitive calls

Projects funded by commercial contracts

View moreView less

Publications

Latest publications View all publications in Porto@Iris

Society and Enterprise

Patents and other intellectual properties