Over

Geboren
1956
Geslacht
Man

Promotie (1991)

Type examen
Promotie
Datum
1991
Plaats
Amsterdam
Proefschrift
Reasoning about dynamically evolving process structures (A proof theory of the parallel object-oriented language POOL)

Gewoon Hoogleraar (2008-n/a)

Benoeming
Gewoon Hoogleraar
Faculteit
Wiskunde en Natuurwetenschappen
Vakgebied
Informatica
Leeropdracht
Software Correctheid
Datum benoeming
2008-02-15
Datum ambtsaanvaarding
n/a
Datum oratie
n/a
Titel oratie
n/a
Datum uit dienst
n/a
Bijzonderheden
n/a

Links

Catalogus Universiteit Leiden
Publicaties ➢