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.
Two of my recent papers have been accepted for publication:
"Support + Belief = Decision Trust" — accepted at SIROCCO 2025.
"Navigating Permission and Exceptions: A First-Order Perspective" — accepted at DEON 2025.
Stay tuned for links and updates once they're officially published.
I will hold a bootcamp course on First-order modal logic together with Eugenio Orlandelli at NASSLLI 25.
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