Full Professor
Department of Control and Computer Engineering (DAUIN)

+39 0110907062 / 7062
paolo.camurati@polito.it

Profile

Research interests

Binary decision diagrams

Cad elettronico

Formal methods

Formal verification

Sat solvers

Verifica formale di correttezza di progetti hardware

Scientific branch

ING-INF/05 - INFORMATION PROCESSING SYSTEMS
(Area 0009 - Industrial and information engineering)

Skills

ERC sectors

PE6_1 - Computer architecture, pervasive computing, ubiquitous computing

PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

PE6_4 - Theoretical computer science, formal methods, and quantum computing

SDG

Goal 4: Quality education

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

MostraNascondi collegi passati

Courses of Study Boards

Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente

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

MostraNascondi A.A. passati

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