Dominik Pichler
Project Assistant, MSc Institute of Logic and Computation Theory and Logic TU Wien Room: HA0407 |
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.