Home

Hello, my name is Huimin Dong, and I am currently a Postdoctoral Researcher at the Institute of Logic and Computation within the Faculty of Informatics at TU Wien, working in Prof. Agata Ciabattoni's Theory and Logic research group. 

Before TU Wien, I worked at  the University of Luxembourg (PostDoc), Sun Yat-sen University (Assistant Professor), and Zhejiang University (Postdoc). I obtained my PhD in Philosophy from the University of Bayreuth under the supervision of Prof. Dr. Olivier Roy. My doctoral thesis is titled “Permission in Non-Monotonic Normative Reasoning.” 

I am a logician and philosopher specializing in the development and application of logical methods to model normative reasoning in ethics and law. My research employs tools from mathematical logic and argumentation theory to formalize concepts such as permission, obligation, legal rights, and justice, with a particular focus on modeling ethical and norm-guided behavior in social agents.

My research centers on the foundations of normativity in decision-making, especially in normative, legal, and multi-agent contexts. My interests include:

• Deontic logic and normative reasoning, with a focus on how agents integrate information and norms when making decisions;

• Legal reasoning, including the formal theory of legal rights, AI-driven models of legal decision-making, and case-based approaches to judicial reasoning;

• Nonmonotonic reasoning, encompassing preference-based logics, non-classical logics, default theories, and formal argumentation frameworks that capture non-monotonic and defeasible decision processes;

• Formal theories of social agents, studying how decision-making is shaped by interactions among agents, norms, and broader social factors such as knowledge distribution, social hierarchies, and group identities.

Mailing Address: 

Institute of Logic and Computation (E192-05)

TU Wien

Favoritenstrasse 9-11

A-1040 Wien, Austria

Office: HC-0308

Tel: +43 1 58801 18542 

Email: donghm.logic (at) gmail (dot) com; huimin.dong (at) tuwien  (dot) ac  (dot) at

ORCID: 0000-0002-4951-0111