Forskargrupp Hybridintelligens uppstår genom samarbete mellan människor och intelligenta system i syfte att göra det möjligt för människor att uppnå sina mål på ett mer effektivt sätt. Detta samarbete har många praktiska tillämpningar, t.ex. poliser som använder digitala informationskällor för att fatta välgrundade beslut i riskfyllda situationer, sjuksköterskor som förbättrar sina rutiner för läkemedelshantering osv.
Inom denna forskargrupp föreställer vi oss intelligenta system som ger formella garantier för sitt beteende. Vi strävar därför efter att utveckla formella metoder för att utforma, bygga och testa pålitliga AI-system. Vi är engagerade i att förverkliga visionen om pålitlig AI inom olika forsknings-, utbildnings- och industrisektorer. De tänkta intelligenta systemen ersätter alltså inte människan, utan fungerar snarare som ett sätt att ge henne möjlighet att uppnå sina mål.
Våra forskningsämnen omfattar följande:
