PAOLO ENRICO CAMURATI

Professore Ordinario

+39 0110907062 / 7062 (DAUIN)

Profilo
Didattica
Ricerca
Pubblicazioni

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

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