Forskargrupp
Vår forskargrupp utvecklar verktyg och tekniker för att utvärdera programvara under hela dess livscykel. Vi vill se till att den beter sig korrekt, identifiera svagheter, sårbarheter och buggar och förhindra att den utnyttjas i verkligheten.
Våra samhällen är beroende av programvara. Varje dag interagerar vi med programvara utan att ens veta om att den finns där. Det handlar om system inom elinfrastruktur, hälsovårdssystem, bilar, betalningssystem, stormarknader, nyheter, sociala medier och mycket mer.
Dessutom analyseras, lagras och nås de uppgifter vi producerar med hjälp av programvara. Tyvärr kan denna innehålla svagheter, vilket kan bero på misstag eller vara avsiktliga, t.ex. vid en attack i leveranskedjan.
Vår forskargrupp strävar efter att förbättra programvarans kvalitet genom att identifiera och avlägsna svagheter under hela dess livscykel – från utformning och genomförande till test och drift. Vi utvecklar verktyg och metoder för att analysera programvara, testa programvara, förstå programvara och skydda programvara från fel och sårbarheter.
Forskningsområden
Vår forskning fokuserar på, men är inte begränsad till, följande ämnen: