University Assistant, MSc Institute of Logic and Computation Knowledge-Based Systems TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0307 Email: ta.ca.neiwutnull@nroohsduo.kuona Website: noukoudshoorn.github.io

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.

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

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