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


Further research interests include

Full CV

[Coming Soon]