Skip to main content
Menu
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
Formal Methods and Tools
UT
Faculties
EEMCS
Disciplines & departments
Formal Methods and Tools
News
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
Previous article
Next article
Thursday 3 March 2022
More recent news
Fri 17 Oct 2025
WCM Annual Event 2025
Fri 17 Oct 2025
Marielle Stoelinga on NU.NL
Tue 7 Oct 2025
Papers of the Month: October 2025
Fri 3 Oct 2025
PhD defense Freark van der Berg: 7 November 14:45
Fri 3 Oct 2025
PhD defense Bob Rubbens on 15 October 12:45
News summary
Close
Suggestions
