Software engineering and formal methods
3 European H2020 organizations list this as part of their work.
Most active in this area
- IT-UNIVERSITETET I KOBENHAVN
Denmark's dedicated IT university combining AI, robotics, and software engineering with ethics-aware design and human-centered computing research.
“BEHAPI (component-based software with static/dynamic analysis and type systems) and ROSIN (quality-assured ROS components) demonstrate strength in software reliability.”
DK13 projects - CARNEGIE MELLON UNIVERSITY
World-leading US university contributing computational, data science, and formal methods expertise to EU research training networks as a third-party host.
“BEHAPI worked on behavioural application program interfaces using static analysis, dynamic analysis, and type systems for component-based software.”
US7 projects - CAPGEMINI ESPANA SL
Spanish branch of Capgemini contributing cybersecurity, AI, and software engineering expertise to large EU research consortia across digital and environmental domains.
“DECODER project applied formal methods and NLP to improve developer documentation and code annotation for operating systems and cloud computing.”
ES3 projects