Foto del docente

Ivan Lanese

Associate Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

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 develop Jolie.
       
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.

Latest news

At the moment no news are available.