PAOLO PASINI

Download the vcard Photo

Visiting Staff - Borsa di studio per attività di ricerca non tassata
Adjunct Professor

Identifiers ORCID: 0000-0001-6233-0994
Google Scholar ID: EEv2xl4AAAAJ
Research topics My reserach focuses on developing new, or improving upon existing, hardware model-checking algorithms and techniques. An ongoing research effort has been dedicated to better orchestrate portfolio-based verification engines, in order to leverage from different, and often orthogonal, approaches. In this specific context, my main areas of research concern pre-simplification steps, circuit manipulation and interpolation-based techniques.
Skills and keywords

ERC sectors

PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory PE6_3 - Software engineering, operating systems, computer languages PE6_4 - Theoretical computer science, formal methods, and quantum computing PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Keywords

Algorithms Algoritmi Formal verification Verifica formale