The University of Pisa is one of the oldest and best-known among Italian universities and the Department of Informatics is the oldest of its kind in Italy. The SENSORIA initiative will involve three research groups, namely: the Models and Languages for Open Distributed Systems group, the Analysis of Security and Performance for Concurrent and Mobile Processes group, and the Rigorous Methods for Requirements Capture and Software Architecture group. The groups will contribute to the development of SOC languages and architectures, security aspects and verification tools, also exploiting the expertise and results that have been obtained in previous FET projects within the Global Computing 1 (GC1) initiative: AGILE (Architectures for Mobility), DEGAS (Design Environments for Global Applications) and PROFUNDIS (Proofs of Functionality for Mobile Distributed Systems) Main contributions of University of Pisa to SENSORIA are in the areas of concurrent, distributed and mobile programming, foundations of service-oriented computing, security, quantitative analysis and automated verification. |