Paolo Enrico Camurati

Professore Ordinario
Dipartimento di Automatica e Informatica (DAUIN)

Profilo

Interessi di ricerca

Binary decision diagrams
Cad elettronico
Formal methods
Formal verification
Sat solvers
Verifica formale di correttezza di progetti hardware

Settore scientifico discliplinare

IINF-05/A - Sistemi di elaborazione delle informazioni
(Area 0009 - Ingegneria industriale e dell'informazione)

Competenze

Settori ERC

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

Didattica

Collegi di Dottorato

  • 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

Collegi dei Corsi di Studio

Insegnamenti

Corso di laurea magistrale

MostraNascondi A.A. passati

Corso di laurea di 1° livello

MostraNascondi A.A. passati

Ricerca

Gruppi di ricerca

Pubblicazioni

Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris