Overslaan en naar de inhoud gaan
Achtergrond PRO
24 november 2006 leestijd 1 minuut 0 reacties

Eredoctoraat voor uitvinder betrouwbaarheidstool

De van origine Nederlandse onderzoeker Gerard Holzmann krijgt een eredoctoraat van de Universiteit Twente. Holzmann is de bedenker van de SPIN model checker, een krachtig tool om de betrouwbaarheid van software te verifiëren.
Redactie AG Connect
Redactie AG ConnectMeer van deze auteur
Business
Shutterstock
Shutterstock

Lees dit PRO artikel gratis

Maak een gratis account aan en geniet van alle voordelen:

  • Toegang tot 3 PRO artikelen per maand
  • Inclusief CTO interviews, podcasts, digitale specials en whitepapers
  • Blijf up-to-date over de laatste ontwikkelingen in en rond tech
Word gratis lid en lees verder

Bevestig jouw e-mailadres

We hebben de bevestigingsmail naar %email% gestuurd.

Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.

Er is iets mis gegaan

Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in