Curriculum breve di Luca Padovani
Curriculum di Studi
• 19/03/1998 – Consegue la Laurea in Scienze dell’Informazione presso l’Università di
Bologna con punteggio 110/110 e lode e una tesi intitolata “Un linguaggio distribuito
con agenti mobili: analisi progettuale e implementazione”. Il relatore è il Prof. Andrea
Asperti.
• 03/03/2003 – Consegue il Dottorato di Ricerca in Informatica presso l’Università degli
Studi di Bologna con una tesi intitolata “MathML Formatting”. Il supervisore è il Prof.
Andrea Asperti e i revisori esterni sono il Prof. Stephen Watt (University of Western
Ontario, Canada), il Dr. Robert Miner (Design Science, Inc., USA) e il Dr. John Pedersen
(John Wiley & Sons, Inc., USA).
• 01/11/2005 – È ricercatore presso l’Istituto di Scienze e Tecnologie dell’Informazione
dell’Università di Urbino.
• 01/11/2008 – È ricercatore confermato presso il medesimo istituto.
• 23/12/2009 – Si trasferisce in qualità di ricercatore confermato presso il Dipartimento
di Informatica dell’Università di Torino.
Attività scientifica
L’attività di ricerca di Luca Padovani è rivolta allo sviluppo di metodi formali per la verifica
di correttezza del software, con particolare riguardo allo sviluppo di sistemi di tipi comportamentali per linguaggi concorrenti e/o distribuiti. Ha usufruito di alcuni periodi trascorsi
all’estero e ha partecipato a scuole estive e a convegni internazionali, in particolare:
• Dal 01/07/2001 al 30/06/2002 è stato Research Associate presso l’Ontario Research
Centre for Computer Algebra (University of Western Ontario) sotto la guida del Prof.
Stephen M. Watt.
• Negli anni dal 2007 al 2010 ha trascorso vari mesi come mâitre de conférence invité
presso INRIA Rocquencourt e il Laboratoire Preuves, Programmes et Systèmes (Université Paris Diderot).
Attività didattica
Ha tenuto numerosi corsi presso il Corso di Laurea in Informatica dell’Università di Bologna,
il Master Almaweb su Tecnologia del Software Libero e Open Source, il Corso di Laurea in
Informatica Applicata dell’Università di Urbino, il Corso di Laurea Triennale in Informatica
dell’Università di Torino.
Attività amministrativa
È stato responsabile per l’amministrazione tecnica del laboratorio presso l’Ontario Research
Centre for Computer Algebra (University of Western Ontario), membro della commissione
orientamento, responsabile per il sito Web, membro e responsabile della commissione didattica per il Corso di Laurea in Informatica Applicata (Università di Urbino).
1
