Ivan Lanese's Home Page

Researcher in Computer Science
University of Bologna/INRIA, Italy

E-mail address: lanese@cs.unibo.it

Address:: Via Malaguti, 1/D
Bologna, Italy
tel.: 339/5861783

Research interests

I am mainly interested in formal models for distributed and mobile systems, such as global computing and service oriented systems. I have concentrated on developping process calculi for modelling different kinds of systems, studying their semantic properties, their expressive power and developping analysis techniques on top of them. Recently I studied in particular long running transactions and compensations, reversibility and adaptation issues.

Upcoming events I am involved in

Current projects and groups

REVER: French ANR Project on Programming reversible recoverable systems
FOCUS: joint team between University of Bologna and INRIA Sophia Antipolis Méditerranée on FOundations of Component-based Ubiquitous Systems
HATS: European Project EU-FET on Highly Adaptable and Trustworthy Software using Formal Methods

Collaboration with industry

I am participating to the Jolie project, aiming at developing Jolie, a language for programming service oriented applications. Jolie has born at the Computer Science Department of University of Bologna, inside the European FET-GC2 project Sensoria, and is currently developed by company ItalianaSoftware.

Pubblications

You can browse my publications in the following web pages: the dedicated publication page, or look for them in the sites below:

my publications page

Work

You can find more detailed information about my work and my job history here.

Teaching

Office hours: by e-mail appointment, at my office (Via Malaguti 1/D).

Qualcosa in più su di me

Ivan Lanese (lanese@cs.unibo.it)