Meet Kim Guldstrand Larsen, one of the initiators behind DIREC
The increasing use of software-driven systems such as intelligent traffic control or energy supply in our society gives rise to a growing need to check these programs for errors before they are implemented.
DIREC has interviewed Professor Kim Guldstrand Larsen from the Department of Computer Science at Aalborg University, who is exploring how to create programs without errors for example by developing programs that can check other programs for errors. He is manager of the part of DIREC that deals with software verification, and he explains in this video how top-level research in cyber-physical systems makes a difference for companies and for our society.
Kim Guldstrand Larsen sees it as an enormous strength to be able to work together across the computer science departments and companies in Denmark to meet the research and societal challenges. He is therefore one of the initiators behind DIREC, the goal of which is to make Denmark attractive for foreign researchers.
Watch the interview here (in Danish):
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.