It-Matters

It-Matters

Methods and Tools for Trustworthy Smart Systems

The goal of the It-Matters is the development and the experimentation of a novel methodology for the specification, implementation and validation of trustworthy smart systems based on formal methods. We envisage system development in three steps by first providing and analysing system models to find design errors, then moving from models to executable code by translation into domain-specific programming languages and, finally, monitoring runtime execution to detect anomalous behaviours and to support systems in taking context-dependent decisions autonomously. More details about It-Matters are here.

News

  • December 01, 2020: GSSI soon recruiting on IT-Matters. We’re scouting for a 2-years postdoc funded by the It-Matters project and will soon be advertised. If interested, get in touch with Luca Aceto, or with Omar Inverso, or else with Emilio Tuosto.
    September 21, 2020: Everybody Working on 1st year report
    May 01, 2020: Several papers authored from IT-MATTERS researchers have been accepted at DisCoTec 2020. Six out of 22 papers at Coordination! see here