Ivan Lanese è nato ad Aosta l'8 marzo 1978. Nel 2002, si è laureato
in Informatica all'Università di Pisa con 110/110 e lode. Si è anche diplomato in
Informatica presso la Scuola Normale Superiore di Pisa col voto di
70/70 e lode.
Ivan Lanese si è dottorato in Informatica nel 2006 presso
l'Università di Pisa. La sua tesi di dottorato, su modelli formali
per sistemi di global computing, ha vinto il premio per le migliori
tesi in Informatica Teorica dal capitolo italiano dell'EATCS. Dopo
il dottorato, Ivan Lanese ha lavorato come post-doc all'Università
di Bologna, partecipando ai progetti Europei HATS e Sensoria e al
gruppo congiunto Bologna-INRIA FOCUS. Ivan Lanese è diventato
ricercatore a tempo indeterminato presso il Dipartimento di Scienze
dell'Informazione (poi Dipartimento di Informatica - Scienza e Ingegneria) dell'Università di Bologna il 1 marzo 2011, e professore associato il 16 luglio 2018.
Ivan Lanese si occupa di metodi formali per sistemi distribuiti.
Studia principalmente la computazione reversibili e i modelli coreografici per sistemi service-oriented. Ivan Lanese ha partecipato allo sviluppo del
linguaggio Jolie per la programmazione di applicazioni
service-oriented, che ha portato alla nascita di una start-up dell'Università di Bologna,
ItalianaSoftware s.r.l. Ivan Lanese è anche chair del
WG6.1 di IFIP (International Federation for Information Processing).
Ivan Lanese ha diverse collaborazioni attive, sia in Italia (Catania, L'Aquila, Urbino, ...) che all'estero (Leicester, Grenoble, Imperial College, Valencia, Nagoya, ...). Molte delle collaborazioni sono avvenute nell'ambito di progetti italiani, francesi o europei. In particolare Ivan Lanese è stato vice-chair della
COST Action IC1405 su Reversible Computing. Ivan Lanese ha pubblicato circa 70
articoli in conferenze e riviste internazionali e ha un h-index di 26 secondo Scopus.
