Università di Firenze (UDF) will rely on the Third-Party-expertise of researchers from Istituto di Scienza e Tecnologie della Informazione “A. Faedo” (ISTI), taking advantage of a long standing collaboration between ISTI and UDF. The research interests of the researchers of ISTI fall in the area of formal specification and verification models for concurrent systems and their application and in particular to systems with mobility and with deterministic-time and/or stochastic-time and/or probabilities.

Expertise. ISTI and UDF enjoy a long-lasting collaboration for the development of research and education activities based on common projects, including previously EU funded ones like AGILE and SENSORIA, and initiatives concerning mobility of CNR research personnel to University and of professors and researchers to CNR. This collaboration is formalized by an Operative Convention between ISTI and UDF on the research area of Formal Methods and Tools for Computer Science and Technology within a general Framework Convention between Universita’ di Firenze and Consiglio Nazionale delle Ricerche, of which ISTI is part.

Role in ASCENS. ISTI is included in the project as a third party.

Key members

• Diego Latella
  
• Mieke Massink