• 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)

• 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

Dottorato di ricerca

• Strutture dati in Python. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso

Corso di laurea magistrale

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

Corso di laurea di 1° livello

• 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
• 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
• 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 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. 2021/22, 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. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Tirocinio. A.A. 2021/22, 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

• FM - Metodi Formali

• 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)
• Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo; Tadei, Roberto (2021)
  Comparative analysis of models and performance indicators for optimal service facility location. In: TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW, vol. 145. ISSN 1366-5545
  Contributo su Rivista
• Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, ... (2021)
  Evaluation of optimal charging station location for electric vehicles: an Italian case-study. In: Studies in Computational Intelligence / S.N., S.L., Springer, pp. 71-87. ISBN: 978-3-319-00410-5
  Contributo in Volume
• 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

• Apparato convertitore DC-DC con circuito di limitazione della corrente di in-rush e relativo procedimento di conversione DC-DC. Brevetto nazionale