PAOLO ENRICO CAMURATI

Download the vcard Photo

Full Professor

+39 0110907062 / 7062 (DAUIN)

Scientific branch ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(Area 0009 - Ingegneria industriale e dell'informazione)
Identifiers ORCID: 0000-0002-2476-2160
Skills and keywords

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

Keywords

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