Kim Guldstrand Larsen

Erforsche, wie Runtime Verification hilft, die Systemleistung durch Ereignistraces zu überprüfen.

Ein neues Framework verbessert die Sicherheit in selbstfahrenden Autos durch formale Methoden.

Ein neuer Ansatz zur Verwaltung der Spannung in Stromsystemen mit Gumbel-Konsistenz Digital Twin.