The consortium includes experts that cover the fields of robotics, software engineering and formal methods with a strong academic and industrial background.

Institution Profile  
Istituto Italiano di Tecnologia Academia Robot development (iCub and R1) Software middleware Perception and control image
Università degli studi di Genova Academia Formal verification adaptive control systems image
United Technologies Research Center Industry (avionics, automation) Design and verification of embedded systems image

Contacts: For additional information please contact Lorenzo Natale (lorenzo.natale AT