R.L. Krikhaar, 1963

doctor

Name R.L. Krikhaar
Full name René Leo
Gender male
Born 1963, Nijmegen, Nederland
Publications [UvA-catalogus]
Link to this person https://albumacademicum.uva.nl/en/id/id054612

Education

Education Wiskunde, Informatica, Natuur- en Sterrenkunde
Degree
June 29, 1999
Exam level promotie
Institution
Faculteit der Wiskunde, Informatica, Natuur- en Sterrekunde
Universiteit van Amsterdam
Thesis Software architecture reconstruction
Keyword programmeertechnieken, Programmatuurtechniek, Algebra, Specificatie, Verificatie
Supervisor(s)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
Assistent supervisor(s)
  • dr. C. Verhoef, Universiteit van Amsterdam
Propositions 11
Back to search results