Ivan Lanese was born in Aosta on the 8th of March 1978. In 2002, he
graduated in Computer Science at University of Pisa with a thesis
titled "Process Synchronization in Distributed Systems via Horn
Clauses", getting a mark of 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 of University of
Bologna on the 1st of March 2011.
Ivan Lanese research interests are in the field of formal models
for distributed systems. He mainly studied semantics, expressive
power and analysis techniques for process calculi for
service-oriented systems. He is also interested in reversible computations, long running
transactions and compensation,
choreographic descriptions of conversations, ... He participated to
the development of the language Jolie for programming
service-oriented applications. A start-up of University of Bologna,
ItalianaSoftware s.r.l., has recently been founded to exploit and
Ivan Lanese has many ongoing collaborations in Italy (Pisa,
Firenze, Trento, ...) and abroad (Lisbona, Grenoble, Leicester,
Oslo, Buenos Aires, ...). Ivan Lanese published about 50 papers in
international conferences and journals and has an h-index of 18
according to Scopus.