LUCI Lab is a partner in the SMARTEST research consortium, which develops a general ontological framework for interconnected Digital Twins (DTs) with the aim of fully representing their interconnections and those with their physical counterparts.
The project brings together three units: the Laboratory for Applied Ontology (LOA, Trento/ISTC-CNR), the University of Messina, and LUCI at the University of Milan.
LUCI contributes expertise in the epistemology of computer simulation, the philosophy of computing, and the formal verification of second-order security properties — the formal basis for the algorithmic analysis at the heart of SMARTEST.