PAOLO ENRICO CAMURATI

Scarica il contatto come vcard Foto

Professore Ordinario

+39 0110907062 / 7062 (DAUIN)

Settore scientifico discliplinare ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
(Area 0009 - Ingegneria industriale e dell'informazione)
Identificativi ORCID: 0000-0002-2476-2160
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

Parole chiave libere

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