Elena Troubitsyna

Utvecklingen av autonoma, säkra och pålitliga programvaruintensiva system som självkörande bilar, drönare och olika robotar utgör en stor teknisk utmaning. Nuvarande metoder för programvaruutveckling kan inte klara att effektivt och säkert hantera den enorma systemkomplexiteten och leverera den garanti av systemtillförlitlighet som krävs i samband med kontinuerligt lärande och anpassning. Elena Troubitsynas forskning syftar till att främja utvecklingen av pålitliga autonoma system som är både säkra och tillförlitliga. Hennes fokus ligger på att designa lösningar som kan säkerställa pålitligheten hos autonoma system, inklusive modeller och algoritmer för övervakning, diagnostik och anpassning.

Genom att använda strikt matematisk modellering och verifiering bidrar Elenas forskning till utvecklingen av metoder och tekniker för att skapa autonoma system med formellt bevisad säkerhet och tillförlitlighet. Dessutom omfattar forskningen design av AI-algoritmer som gör det möjligt för system att lära sig och anpassa sig i realtid. Införandet av autonoma system utlovar olika fördelar för samhället, förutsatt att kraftfulla metoder för att uppnå säkerhet och pålitlighet utvecklas.