IMT Lucca

IMT is an international Ph.D. school and research institute located in Lucca (Italy) and funded by the Italian Ministry of Research and Education. IMT strives to reach the fusion of theoretical comprehension and practical relevance and is based on two multidisciplinary Research Areas (Computer Science and Applications and Economics and Institutional Change) that constitute the core of IMT’s organizational model and intellectual environment. The main focus of IMT is on the modeling and analysis of computing, economic and engineering systems. The IMT research group participating in ASCENS is the recently formed System Modeling and Analysis (SySMA) group led by Professor Rocco De Nicola; members of the group have been working since a long time on the design and analysis of concurrent, distributed and mobile systems. Important outcomes are languages for programming mobile interactive systems and seminal papers on behavioural equivalences, modal logic and process calculi. Recently SySMA researchers have contributed to studying models for the quantitative analysis of systems behaviours, developing stochastic and probabilistic models and logics and relative tools for properties checking.

Key Members