PAOLO ENRICO CAMURATI
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 ERCPE6_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 computingSDGGoal 4: Quality educationParole chiave libereBinary decision diagrams Cad elettronico Formal methods Formal verification Sat solvers Verifica formale di correttezza di progetti hardware |
---|