Agata Ciabattoni

Agata Ciabattoni is a Full Professor and Head of the Research Unit 'Theory and Logic' at Technische Universität Wien. Her roles include membership in the Faculty Council and leadership in research projects funded by the Austrian Science Fund (FWF), Vienna Science and Technology Fund (WWTF), and the European Commission. Her research focuses on non-classical logics, including deontic and modal logics, with applications to AI, normative reasoning, and philosophy.

Research interests span mathematical logic, formal methods, AI ethics, and cross-cultural logic, particularly influenced by Sanskrit philosophical traditions such as Mīmāṃsā. She leads projects like 'LoDEx' (2024–2026) and 'Mosaic' (2021–2025), addressing AI ethics and logical frameworks. Her work emphasizes proof theory, automated reasoning, and the integration of historical logical systems into modern computational models.

Publications include advancements in hypersequent calculi, norm compliance in AI, and deontic paradoxes. Awards include the START-Programm Award (2011) for contributions to non-classical proof theory. She supervises PhD and master’s students, guiding research on topics like normative reasoning, reinforcement learning ethics, and logical systems derived from ancient texts.