Ricercatore a tempo determinato Legge 240/10 art.24-a
Dipartimento di Elettronica e Telecomunicazioni (DET)
Profilo
Interessi di ricerca
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Linee di ricerca
- My reserach focuses on developing new, or improving upon existing, hardware model-checking algorithms and techniques. An ongoing research effort has been dedicated to better orchestrate portfolio-based verification engines, in order to leverage from different, and often orthogonal, approaches. In this specific context, my main areas of research concern pre-simplification steps, circuit manipulation and interpolation-based techniques.
Competenze
Settori ERC
Didattica
Collegi dei Corsi di Studio
- Collegio di Ingegneria Elettronica, delle Telecomunicazioni e Fisica. Componente invitato
- Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente
Insegnamenti
Dottorato di ricerca
- Strutture dati in Python. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
Corso di laurea magistrale
- Edge Computing Systems for AI and ML. A.A. 2024/25, MECHATRONIC ENGINEERING (INGEGNERIA MECCATRONICA). Collaboratore del corso
- Modeling and optimization of embedded systems. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Edge Computing Systems for AI and ML. A.A. 2023/24, MECHATRONIC ENGINEERING (INGEGNERIA MECCATRONICA). Collaboratore del corso
- Modeling and optimization of embedded systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Specification and simulation of digital systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Specification and simulation of digital systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Corso di laurea di 1° livello
- Progettazione elettronica digitale. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore 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. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Bosio, Roberto; Minnella, Filippo; Urso, Teodoro; Casu, Mario R.; Lavagno, Luciano; ... (2024)
NN2FPGA: Optimizing CNN Inference on FPGAs With Binary Integer Programming. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070
Contributo su Rivista - 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, 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