L. Helmink, 1959

doctor

Naam L. Helmink
Voornamen Leendert
Geslacht man
Geboren 1959, Ede, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id055110

Opleiding

Opleiding Wiskunde en Informatica
Graad
19 maart 1993
Examentype promotie
Instelling
Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Tools for proofs and programs
Trefwoord programmatuurontwikkeling, Ontwerpen, Betrouwbaarheid, Software, Bewijs (wetenschap)
Promotor(en)
  • prof. dr. H.P. Barendregt, Universiteit Nijmegen
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
  • prof. dr. P. Klint, Universiteit van Amsterdam
Aantal stellingen 11
Terug naar zoek resultaten