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 focus on modeling ethical behavior in social agents. 

My research interests include: 

• Deontic logic and normative reasoning, particularly on the logical models of permission; 

• Legal reasoning, including formal theory of legal rights and AI-based legal models;

• Nonmonotonic reasoning, including formal methods of preference-based logics, non-classical logics, default theory, and formal argumentation;

• Formal theories of social agents, focusing on the various complex interplays between agents, norms, and other relevant social factors (e.g. knowledge distribution, social hierarchy,  group identity etc.).

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