Xavier Parent

Xavier Parent is a Researcher in the Department of Theory and Logic at Technische Universität Wien (TU Wien). His work focuses on deontic logic, normative reasoning, and proof theory, with applications to AI and legal systems. He leads the LoDEx project (2024–2026) and previously contributed to the Lisa Meitner grant (2021–2024) and TICAMORE project (2017–2022). His research emphasizes formal verification of normative systems using higher-order logic (HOL) and explores topics like conditional obligations, dyadic deontic structures, and automated reasoning.

Key projects include:

• LoDEx: Developing logical methods for deontic explanations
• Lisa Meitner Grant: Investigating permissive norms and regulative norms
• TICAMORE: Embedding dyadic deontic logic in HOL

His research interests span:

• Formal semantics of normative systems
• Automated theorem proving for deontic logics
• Interactions between betterness orderings and obligations

Publications highlight contributions to journals like Journal of Philosophical Logic and Journal of Applied Non-Classical Logics, with conference presentations at DEON, PRIMA, and Dagstuhl Seminars. He advises students like David Pichler on extensionality in normative systems.