Prof.dr. V. van Oostrom (1966 - )
Profileringshoogleraar Grondslagen van de formele methoden vanaf 1 oktober 2010
Opleiding
| Scholing | Gymnasium
|
| Academische opleiding | Informatica
|
| te | Leiden
|
Promotie(s)
| Promotie |
Amsterdam (VU), 1994
|
| 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)
Profileringshoogleraar Grondslagen van de formele methoden
| Aangesteld bij |
Geesteswetenschappen, Departement Wijsbegeerte
|
| Benoemd |
14 september 2010
|
| Aanvang |
1 oktober 2010
|
| Einde |
1 september 2014
|
| Einde vanwege |
Aanstelling andere universiteit
|
| Vakgebied |
Filosofie; Logica
|
|
De heer
|
|
| Titel(s) |
Dr.
|
| Naam |
V.
van Oostrom Vincent |
| Roepnaam |
Vincent
|
| Geboren |
11 augustus 1966
|
| te |
Barendrecht, Nederland
|
| Nationaliteit |
Nederlandse
|
