Kim Guldstrand Larsen

Un nouveau cadre améliore la sécurité des voitures autonomes grâce à des méthodes formelles.

Une nouvelle approche pour gérer la tension dans les systèmes électriques en utilisant un jumeau numérique Gumbel-Consistency.