Ivan Lanese was born in Aosta on the 8th of March 1978. In 2002, he
graduated in Computer Science at University of Pisa with 110/110 with praise. He also took a
minor degree in Computer Science at Scuola Normale Superiore di
Pisa, getting a mark of 70/70 with praise.
Ivan Lanese got the PhD degree in Computer Science in 2006 at
University of Pisa. His PhD thesis, on formal models for global
computing systems, has been awarded the prize for the best theses
in Theoretical Computer Science from the Italian chapter of EATCS.
After his PhD, he worked as a post-doc at University of Bologna,
participating to European projects HATS and Sensoria and to the
joint Bologna-INRIA team FOCUS. He got a permanent position as
assistant professor at Computer Science Department (then Computer Science and Engineering Department) of University of
Bologna on the 1st of March 2011, and associate professor on the 16th of July 2018.
Ivan Lanese research interests are in the field of formal methods
for distributed systems. He mainly studied reversible computation and
choreographic models for distributed systems. He participated to
the development of the language Jolie for programming
service-oriented applications, which lead to the creation of a start-up of University of Bologna,
ItalianaSoftware s.r.l. Ivan Lanese is also chair of
WG6.1 of IFIP (International Federation for Information Processing).
Ivan Lanese has many ongoing collaborations in Italy (Catania, L'Aquila, Urbino, ...) and abroad (Leicester, Grenoble, Imperial College, Valencia, Nagoya, ...). Many of such collaboration occurred in the framewrok of Italian, French or European projects. In particular Ivan Lanese has been vice-chair of
COST Action IC1405 on Reversible Computing. Ivan Lanese published about 70 papers in
international conferences and journals and has an h-index of 26
according to Scopus.
