Google Scholar ID: EEv2xl4AAAAJ
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 sectorsPE6_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
KeywordsAlgorithms Algoritmi Formal verification Verifica formale