| layout | title |
|---|---|
page |
Consortium |
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 | 
|
| Università degli studi di Genova | Academia Formal verification adaptive control systems | 
|
| United Technologies Research Center | Industry (avionics, automation) Design and verification of embedded systems | 
|
Contacts: For additional information please contact Lorenzo Natale (lorenzo.natale AT iit.it)