Gianpiero Cabodi

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

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

• Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente

PhD

• Advanced data structures in Python. A.A. 2025/26, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Advanced data structures in Python. A.A. 2024/25, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Advanced data structures in Python. A.A. 2023/24, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher
• Strutture dati in Python. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Main teacher

Master of Science

• System and device programming. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• System and device programming. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• System and device programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• System and device programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• System and device programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• System and device programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Bachelor of Science

• Tirocinio. A.A. 2025/26, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2025/26, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2025/26, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2025/26, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso

Projects funded by commercial contracts

• Corso di formazione sul software embedded, destinato a startup tecnologiche, (2024-2025) - Responsabile Scientifico
  Commercial contracts

• FM - Formal Methods Group (DAUIN)

Projects funded by competitive calls

• REBECCA - Reconfigurable Heterogeneous Highly Parallel Processing Platform for safe and secure AI, (2023-2026) - Responsabile Scientifico di Struttura
  UE-funded research - JTI - ECSEL
• OSMOSIS -OPEN SOURCE MODELLING AND HARDWARE SOFTWARE CODESIGN OF EMBEDDED SYSTEMS, (2008-2010) - Responsabile Scientifico
  UE-funded research - VII PQ - CAPACITIES - Research for the benefit of SMEs

Projects funded by commercial contracts

• Progettazione, validazione e test di sistemi embedded in ambito automotive, (2025-2025) - Responsabile Scientifico
  Commercial Research
• Generating Proof Certificates in the Presence of Netlist Optimizations, (2024-2025) - Responsabile Scientifico
  Commercial Research
• Progettazione, validazione e test di un sistema di tracciabilità basato su tecnologia RFid, (2024-2024) - Responsabile Scientifico
  Commercial Research
• Progettazione, validazione e test di un sistema di tracciabilità basato su tecnologia Rfid, (2020-2020) - Responsabile Scientifico
  Commercial Research
• Verifica di tecnologie per la protezione da attacchi digitali dei sistemi embedded, (2018-2018) - Responsabile Scientifico
  Commercial Research
• Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività veicolare, (2017-2018) - Responsabile Scientifico
  Commercial Research
• Metodologie per la Progettazione di HMI in ambito Automotive, mediante tecnologia HTML5, (2016-2017) - Responsabile Scientifico
  Commercial Research
• Metodologie Innovative di Progettazione e realizzazione di algoritmi di Path Planning mediante GPCPU, (2016-2017) - Responsabile Scientifico
  Commercial Research
• Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività V2X, (2016-2017) - Responsabile Scientifico
  Commercial Research
• Metodologie Innovative di HMI in ambito automotive, mediante tecnologia HTML5, (2016-2016) - Responsabile Scientifico
  Commercial Research
• Metodologie innovative di progettazione, validazionee test applicate a sistemi embedded hardware e software ...., (2014-2015) - Responsabile Scientifico
  Commercial Research
• ARCHITETTURE DI SERVICE DELIVERY PER SISTEMI MOBILI, (2014-2015) - Responsabile Scientifico
  Commercial Research
• TECNICHE DI VISIONE ARTIFICIALE, GESTIONE E MANIPOLAZIONE DI IMMAGINI, NELL''AMBITO DI APPLICAZIONI EMBEDDED, (2012-2013) - Responsabile Scientifico
  Commercial Research
• TECNICHE DI PROGETTAZIONE MODEL BASED VALIDAZIONE E TEST APPLICATE A SISTEMI EMBEDDED IN AMBITO AUTOMOTIVE, (2012-2012) - Responsabile Scientifico
  Commercial Research
• TECNICA DI SPECIFICA VALIDAZIONE E TEST PER SISTEMI EMBEDDED APPLICATI A MONITORAGGIO DEL TERRITORIO E GESTIONE DI ENERGIE RINNOVABILI, (2011-2012) - Responsabile Scientifico
  Commercial Research
• TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2010-2010) - Responsabile Scientifico
  Commercial Research
• TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2009-2009) - Responsabile Scientifico
  Commercial Research
• TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2008-2009) - Responsabile Scientifico
  Commercial Research

• Sindoni, Giulia; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo E.; Griggio, Alberto; ... (2025)
  A Theorem Prover Based Approach for SAT-Based Model Checking Certification. In: Automated Deduction - CADE 30, Stuttgart (Ger), July 28 - August 2, 2025, pp. 449-467. ISSN 0302-9743. ISBN: 9783031999833
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2024)
  Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening. In: IEEE ACCESS, vol. 12, pp. 119341-119349. ISSN 2169-3536
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo (2024)
  Hardware Model Checking Algorithms and Techniques. In: ALGORITHMS, vol. 17. ISSN 1999-4893
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo E.; Marques-Silva, Joao; Palena, Marco; Pasini, Paolo (2024)
  Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 43, pp. 3083-3087. ISSN 0278-0070
  Contributo su Rivista
• Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2006)
  Stepping forward with interpolates in unbounded model checking. In: 2006 International Conference on Computer-Aided Design, ICCAD, San Jose, CA (USA), 2006, pp. 772-778. ISBN: 978-1-59593-389-8
  Contributo in Atti di Convegno (Proceeding)

• Apparato convertitore DC-DC con circuito di limitazione della corrente di in-rush e relativo procedimento di conversione DC-DC. national Patent
  Inventors: Gianpiero Cabodi