University Assistant, MA Institute of Logic and Computation Theory and Logic Group TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0407 Email: ta.cigolnull@enihpesoj Website: https://josephinedik.github.io/

Research Interests
Deontic Logic, Proof Theory, Non-classical Logics, Description 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 Theory and Logic group under the supervision of Prof. Agata Ciabattoni.

Education
MA in Logic
BSc in Liberal Arts and Sciences

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

Event Organization
Organizing Committee: MOSAIC Workshop 2023