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.
Expertise. 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 behavioral equivalences, modal logic and process calculi. Recently SySMA researchers have contributed to studying models for the quantitative analysis of systems behaviors, developing stochastic and probabilistic models and logics and relative tools for
Role in ASCENS. IMT will fundamentally contribute to the activities of WP1 and WP2, in particular in what regards formal models, languages analysis
techniques (qualitative and quantitative) for service component
ensembles. IMT will bring into the project its expertise on network
aware programming, calculi, models and (temporal and stochastic)
logics for mobile distributed concurrent systems and on the
qualitative and quantitative evaluation of such systems. IMT will lead
WP1 and will significantly contribute to WP2 moreover the IMT group
will collaborate with the other WPs to provide mathematically well-founded
approaches to the development of proof techniques and tools for
modeling, programming and proving properties of adaptive component-
and service-oriented systems.
Last Updated on Wednesday, 07 November 2012 13:13