Paolo Enrico Camurati

Full Professor
Department of Control and Computer Engineering (DAUIN)

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

Teachings

Master of Science

MostraNascondi A.A. passati

Bachelor of Science

MostraNascondi A.A. passati

Research

Research groups

Publications

Latest publications View all publications in Porto@Iris