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

PhD Boards

  • 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

Courses of Study Boards

Teachings

PhD

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