Anouk Oudshoorn

University Assistant, MSc
Institute of Logic and Computation
Knowledge-Based Systems

TU Wien
Favoritenstraße 9–11
1040 Wien, Austria

Room: HA0307


Research Interests
Description Logic, Automata Theory, Proof Theory, Fixed Point Logic

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Knowledge-Based Systems group under the supervision of Magdalena Ortiz.

MSc in Logic from the University of Amsterdam
BA in Philosophy from the Radboud University, Nijmegen
BSc in Mathematics from the Radboud University, Nijmegen

For an up-to-date list of publications, please visit TU Wien Informatics | Anouk Oudshoorn.