
Full Professor
Department of Control and Computer Engineering (DAUIN)
Profile
Research interests
Scientific branch
(Area 0009 - Industrial and information engineering)
Skills
ERC sectors
SDG
Teaching
PhD Boards
- INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (20. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2002/2003 (19. ciclo)
Politecnico di TORINO
Courses of Study Boards
Teachings
Master of Science
- Specification and simulation of digital systems. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Specification and simulation of digital systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
Bachelor of Science
- Tecniche di programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
- Tecniche di programmazione. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
- Tecniche di programmazione. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
- Tecniche di programmazione. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
- Programming techniques. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programming techniques. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programming techniques. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore 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
Research
Research groups
Publications
Latest publications View all publications in Porto@Iris
- 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 - 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 - 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)