L. Helmink, 1959

doctor

Name L. Helmink
Full name Leendert
Gender male
Born 1959, Ede, Nederland
Publications [UvA-catalogus]
Link to this person https://albumacademicum.uva.nl/en/id/id055110

Education

Education Wiskunde en Informatica
Degree
March 19, 1993
Exam level promotie
Institution
Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam
Thesis Tools for proofs and programs
Keyword programmatuurontwikkeling, Ontwerpen, Betrouwbaarheid, Software, Bewijs (wetenschap)
Supervisor(s)
  • prof. dr. H.P. Barendregt, Universiteit Nijmegen
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
  • prof. dr. P. Klint, Universiteit van Amsterdam
Propositions 11
Back to search results