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, 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

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

PhD

• 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. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• System and device programming. A.A. 2022/23, 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. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Programmazione di sistema. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso

Bachelor of Science

• 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. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2023/24, 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. 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. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Titolare 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. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. 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. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, 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
• Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso

• FM - Formal Methods Group

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 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, validazione e 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 - A.AGG. 876-2008 , (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

• Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2022)
  Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. In: FORMAL METHODS IN SYSTEM DESIGN, pp. 1-30. ISSN 0925-9856
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo (2021)
  Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: Design Automation and Test in Europe (DATE), 01-05 February 2021, pp. 1122-1125. ISBN: 978-3-9819263-5-4
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, G; Camurati, P; Pasini, P; Patti, D; Vendraminetto, D (2020)
  Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills. In: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, vol. 36, pp. 1505-1528. ISSN 0949-149X
  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)
• Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo ... (1996)
  Incremental re-encoding for symbolic traversal of product machines. In: Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition, Geneva (Switz.), 16-20 September 1996, pp. 158-163
  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