R.L. Krikhaar, 1963

doctor

Naam R.L. Krikhaar
Voornamen René Leo
Geslacht man
Geboren 1963, Nijmegen, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id054612

Opleiding

Opleiding Wiskunde, Informatica, Natuur- en Sterrenkunde
Graad
29 juni 1999
Examentype promotie
Instelling
Faculteit der Wiskunde, Informatica, Natuur- en Sterrekunde
Universiteit van Amsterdam
Proefschrift Software architecture reconstruction
Trefwoord programmeertechnieken, Programmatuurtechniek, Algebra, Specificatie, Verificatie
Promotor(en)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
Copromotor(en)
  • dr. C. Verhoef, Universiteit van Amsterdam
Aantal stellingen 11
Terug naar zoek resultaten