softwareMarco CarboneComputer Science DepartmentResearchgrantsinnovationprogramming languages
17 May, 2021Hospitals, banks, and airports—today, software is at the heart of many of society’s critical functions. A new research project, led by Associate Professor at the IT University, Marco Carbone, aims to develop mathematical models to prevent flaws in critical software. The project has recently been awarded 2.8 million kroner from Independent Research Fund Denmark.