S.P. Luttik, 1973

doctor

Naam S.P. Luttik
Voornamen Sebastiaan Pascal
Geslacht man
Geboren 1973, Zutphen, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id053223

Opleiding

Opleiding Informatica
Graad
3 april 2002
Examentype promotie
Instelling
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Proefschrift Choice quantification in process algebra
Trefwoord formule manipulatie, computeralgebra, programmatuurontwikkeling, Procesalgebra
Promotor(en)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
  • prof. dr. J.F. Groote, Universiteit Eindhoven
Aantal stellingen 9
Terug naar zoek resultaten