S.P. Luttik, 1973

doctor

Name S.P. Luttik
Full name Sebastiaan Pascal
Gender male
Born 1973, Zutphen, Nederland
Publications [UvA-catalogus]
Link to this person https://albumacademicum.uva.nl/en/id/id053223

Education

Education Informatica
Degree
April 3, 2002
Exam level promotie
Institution
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam
Thesis Choice quantification in process algebra
Keyword formule manipulatie, computeralgebra, programmatuurontwikkeling, Procesalgebra
Supervisor(s)
  • prof. dr. J.A. Bergstra, Universiteit van Amsterdam
  • prof. dr. J.F. Groote, Universiteit Eindhoven
Propositions 9
Back to search results