Christian Fermüller

Christian Fermüller is an Associate Professor in the Department of Theory and Logic at the Faculty of Informatics, Technische Universität Wien (TU Wien). His research focuses on theoretical computer science, artificial intelligence, automated deduction, and formal logic systems. He specializes in fuzzy logic, proof theory, and non-classical logics, with contributions to semantic games, dialogue systems, and computational models of reasoning under vagueness.

**Research Interests:**

• Foundations of fuzzy logic and many-valued logics
• Proof theory and analytic calculi
• Game-based semantics for non-classical logics
• Formal models of judgment aggregation and argumentation theory
• Applications in automated reasoning and computational intelligence

**Grants & Projects:**

• Austrian Science Fund (FWF) projects on graded deontic reasoning (2025–2027), semantic games and analytic calculi (2019–2023), and fuzzy logic foundations (2008–2013)
• Co-PI of the LogICCC initiative exploring contextualism and fuzzy logic

**Teaching:** Courses include logical methods in computer science, quantum computing, and theoretical computer science. Supervised over 15 PhD and master’s theses on topics ranging from semantic games to argumentation frameworks.

**Affiliations:** Active in the LogiCS research group and regularly organizes seminars on logic and computation.