Veni toegekend aan Robbert Krebbers

NWO heeft de Veni-laureaten voor 2018 bekendgemaakt. Daaronder zijn zeven wetenschappers van de TU Delft. Een van de zeven is Robbert Krebbers, zijn onderwerp is Geverifieerde programmeertaal-interactie.

Software-systemen bestaan uit vele componenten die geschreven zijn in verschillende programmeertalen. De correctheid van een softwaresysteem is afhankelijk van correcte interactie tussen deze componenten. Dit project gaat wiskundige methoden ontwikkelen om de correctheid van interactie tussen software-componenten te verifiëren.