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	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