Dominik Pichler
Welcome to my website!
Let me tell you a little bit about myself:
I am a PhD student in the Theory and Logic group at TU Wien, supervised by Agata Ciabattoni and co-supervised by Xavier Parent. I am affiliated with the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien). Additionally, I am organising (together with Clara List) the monthly online seminar FoMoLo.
Before that I studied Technical Mathematics at TU Wien with a focus on Analysis, Geometry and Logic. During my studies, I developed a passion for research and problem-solving.
Research interests
In my research, I am investigating the semantics and proof theory of non-classical logics with an application focus on artificial intelligence and philosophy.
My main topics are
Deontic Logic
Logic of Trust
Preference Logic
First-order Modal Logic
Further research interests include
Combining Logics
Set Theory
Topology
Full CV
[Coming Soon]