Profileringshoogleraar Grondslagen van de formele methoden - vanaf 1 Oktober 2010
Opleiding en werk
Opleiding
Scholing
Gymnasium
Academische opleiding
Informatica
Te
Leiden
Promotie(s)
Promotie
Amsterdam (VU) , 30 November 1993
Proefschrift
Confluence for abstract and higher-order rewriting
Promotor(en)
Prof.dr. J.W. Klop
Functie voor benoeming
Universitair hoofddocent Theoretische filosofie te Utrecht 2005
Functie na benoeming
betrekking aan Universiteit Innsbruck (Oostenrijk)
Aanstelling(en) Utrecht
Profileringshoogleraar - Grondslagen van de formele methoden
Aangesteld bij
Faculteit Geesteswetenschappen, Departement Wijsbegeerte
Benoemd
14/09/2010
Aanvang
01/10/2010
Einde
01/09/2014
Einde vanwege
Aanstelling andere universiteit
Vakgebied
Filosofie ; Logica
Persoonlijke informatie
De heer
Titel(s)
Prof. Dr.
Naam
V. van
Oostrom
Vincent
Oostrom
Vincent
Roepnaam
Vincent
Geboren
11/08/1966
Te
Barendrecht, Nederland
Nationaliteit
Nederlandse