Luca Padovani

Professore ordinario presso il Dipartimento di Informatica — Scienza e Ingegneria dell’Università di Bologna dal 2024, si interessa di metodi formali per l’analisi e la verifica di sistemi concorrenti e distribuiti e ha dato contributi teorici e pratici allo sviluppo di tipi comportamentali applicati a modelli di concorrenza e a linguaggi di programmazione. È stato ricercatore e professore associato presso le Università di Urbino, Torino e Camerino. È stato ricercatore in visita presso diversi istituti e laboratori di ricerca tra cui l’Ontario Research Centre for Computer Algebra, INRIA Rocquencourt, INRIA Sophia-Antipolis e il laboratorio Preuves, Programmes et Systèmes di Parigi.