KNAW
Narcis
Back to search results
Person
Prof.dr. V. van Oostrom
Pagina-navigatie:
Main
Current research (1)
Update Persondata
applied
formal
foundations
logic
methods
Expertise
Applied logic
Expertise (NL)
Toegepaste logica
Active as
Professor
Organisation
Department of Philosophy (UU)
Chair (EN)
Foundations of Formal Methods
Chair (NL)
Grondslagen van de Formele Methoden
Phone
+31-30-2531794
Email
V. vanOostrom -at- uu. nl
URL
http://www.phil.uu.nl/~oostrom/
Current research
(the most recent research is at the top)
Project leader
Realising Optimal Sharing
Classification
D11100
Logic, set theory and arithmetic
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation