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). In my research, I am investigating the semantics and proof theory of non-classical logics with an application focus on artificial intelligence and philosophy.