[an error occurred while processing this directive]
Home Wijsbegeerte > TF > Vincent van Oostrom

Vincent van Oostrom

Vincent van Oostrom
Naam/Name: dr. Vincent van Oostrom
Adres/Address: Heidelberglaan 6-8, room 163
3584 CS Utrecht
The Netherlands
+31 (0)30 2532761
+31 (0)30 2532816
E-mail: Vincent.VanOostrom@phil.uu.nl
Homepage: http://www.phil.uu.nl/~oostrom/
Department group: Theoretical Philosophy


Vincent van Oostrom studied computer science and mathematics at the Rijksuniversiteit Leiden, and obtained his degree in computer science with a Master?s thesis on Graph Grammars and Monadic Second-Order Logic (supervisors J. Engelfriet and G. Rozenberg). He then did a PhD in theoretical computer science at de Vrije Universiteit Amsterdam resulting in a PhD thesis on Confluence for Abstract and Higher-Order Rewriting (supervisor J.W. Klop). After holding postdoc positions at NTT Basic Research Laboratories Atsugi (Japan), the Technische Universität München (Germany), the Vrije Universiteit Amsterdam, and Centrum voor Wiskunde en Informatica Amsterdam, he is now associate professor in the theoretical philosophy group. His research interest is theoretical computer science in general, and rewriting in particular, ranging from abstract rewriting to rewriting systems on structures such as braids, graphs, terms, and lambda-terms. This is reflected by his contributions to the book Term Rewriting Systems, Terese, CUP 2003.

Webmaster, 14-11-2007 11:08