Paolo Pasini

Ricercatore a tempo determinato Legge 240/10 art.24-A
Dipartimento di Elettronica e Telecomunicazioni (DET)

Profilo

Interessi di ricerca

Algorithms
Algoritmi
Formal verification
Verifica formale

Settore scientifico discliplinare

ING-INF/01 - ELETTRONICA
(Area 0009 - Ingegneria industriale e dell'informazione)

Linee di ricerca

  • 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.

Competenze

Settori ERC

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

Didattica

Collegi dei Corsi di Studio

Insegnamenti

Dottorato di ricerca

MostraNascondi A.A. passati

Corso di laurea magistrale

MostraNascondi A.A. passati

Corso di laurea di 1° livello

MostraNascondi A.A. passati

Ricerca

Gruppi di ricerca

Pubblicazioni

Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris