Foto del docente

Luca Padovani

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Short Bio

Since 2024 he is full professor in the Department of Computer Science and Engineering. His research interests lie in the application of formal methods to the analysis and verification of concurrent and distributed systems. He has made both theoretical and practical contributions to the development of behavioral types for concurrency models and programming languages. He has held positions as a researcher and associate professor at the Universities of Urbino, Torino, and Camerino. He has also been a visiting researcher at various institutions and research laboratories, including the Ontario Research Centre for Computer Algebra, INRIA Rocquencourt, INRIA Sophia-Antipolis, and the Preuves, Programmes et Systèmes laboratory in Paris.

Contacts

E-mail:
luca.padovani2@unibo.it

Other contacts

Web:

Dipartimento di Informatica - Scienza e Ingegneria
Mura Anteo Zamboni 7, Bologna - Go to map

Online Resources

Office hours

Il ricevimento si svolge in presenza il martedì nell'orario 14:00-16:00 (o in altro giorno/orario da concordare) oppure da remoto su Teams. In entrambi i casi è necessario contattare preventivamente il docente via email per confermare data, orario e modalità dell'appuntamento.

Latest news

At the moment no news are available.