Marco CarboneForskningInstitut for Datalogibevillingerprogrammeringssprogsoftware
18. maj 2021I dag er software en essentiel del af samfundets kritiske funktioner, fra sundheds- og transportsektoren til kommunikation og energiforsyning. Et nyt forskningsprojekt, anført af lektor ved IT-Universitetet Marco Carbone, skal udvikle matematiske modeller til forebyggelse af fejl i software. Danmarks Frie Forskningsfond har netop bevilget projektet 2,8 millioner kroner.