Dansk forsker vil udrydde softwarefejl

Jesper Bengtson(Research cited)

Programming Logic and Semantics

Press & media:

Press / Media

Press & Media Information

Media Coverage

Title

Dansk forsker vil udrydde softwarefejl

Media name

Videnskab.dk

Date

2015-11-09

Link

http://mo.infomedia.dk/ShowArticle.aspx?Duid=e54e1486&UrlID=f9fe70e3-7807-4d18-9652-9dc31ffa14a5&Link=

Producer

Rune Wriedt Larsen

Persons

Jesper Bengtson(Research cited)

Description

Vi bliver mere og mere afhængige af software men mange computerprogrammer indeholder alligevel alvorlige fejl. Et nyt dansk forskningsprojekt skal finde en matematisk metode, der kan forhindre fejlene. Software fylder mere og mere i vores liv...