Dominik Pichler

Project Assistant, MSc
Institute of Logic and Computation
Theory and Logic

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

Room: HA0407
Email: ta.cigolnull@kinimod
Website: https://informatics.tuwien.ac.at/people/dominik-pichler

 

Research Interests
Deontic Logic, First-order Modal Logic, Semantics and Proof Theory for Non-classical Logics

Current Position
I am an affiliated 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
MSc in Technical Mathematics from TU Wien
BSc in Technical Mathematics from TU Wien

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

Event Organization
I am part of the organising committee of the MOSAIC 2023 workshop in Vienna.