Paolo Pasini

Paolo Pasini's picture

Fixed-term assistant professor
Department of Electronics and Telecommunications (DET)

Profile

Research interests

Algorithms
Algoritmi
Formal verification
Verifica formale

Scientific branch

IINF-01/A - Electronics
(Area 0009 - Industrial and information engineering)

Skills

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

Teaching

Collegi of the degree programmes

Teachings

PhD

MostraNascondi A.A. passati

Master of Science

MostraNascondi A.A. passati

Bachelor of Science

MostraNascondi A.A. passati

Publications

Latest publications View all publications in Porto@Iris