Huimin Dong

Huimin Dong is a Researcher in the Department of Theory and Logic at Vienna University of Technology (TU Wien). She specializes in logic, formal methods, and their applications in computer science, legal systems, and network analysis. Her work bridges theoretical foundations with practical domains such as epistemic injustice, deontic logic, and social network dynamics.

• Education: Doctor of Philosophy (Dr.in phil.)

Her research interests include epistemic logic, multi-agent systems, normative reasoning, and the formalization of legal knowledge. She explores topics like permissible knowledge sharing, stability in weighted networks, and the clash of precedents in legal contexts.

Her recent publications span conferences (e.g., ENIGMA, AiML) and journals, focusing on interdisciplinary applications of logic. She teaches courses such as Logic and Computability and Deontic Logic for Normative Reasoning.