Robust Classification in ML: A Topological Semantics Approach

Mirko Tagliaferri, Dominik Pichler
July 2026
Type
Conference paper
Publication
Proceedings of the 21st International Symposium on Logical and Semantic Frameworks with Applications (LSFA 2026), Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 449, pp. 185–201
Mirko Tagliaferri
Mirko Tagliaferri
PostDoc Researcher

I obtained my PhD at the University of Urbino in 2019, and then proceeded to work here as a postdoctoral fellow for five years. Since July 2025, I have had a one-year postdoctoral position at TU Wien. My work explores how formal frameworks, e.g., modal logic, can be applied as tools to understand better the decision-making process of human and AI agents. I am also an expert in computational trust models and their application to security, and I believe that trust can improve collaborations between artificial systems.

Dominik Pichler
Dominik Pichler
PhD Student

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.