Nina Gierasimczuk is an Associate Professor in the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU), affiliated with the Algorithms, Logic and Graphs research group. Her work focuses on formal learning theory, epistemic logic, and computational models of cognitive processes. She holds a PhD from 2010, titled Knowing one's limits: Logical analysis of inductive inference . Her research interests include the logical foundations of learning, multi-agent systems, and the dynamics of knowledge and belief revision. She has supervised multiple PhD students in areas like dynamic logic, formal learning, and AI applications. Key projects involve modeling cognitive agents, semantic universals, and belief revision mechanisms in artificial intelligence contexts. Publications span topics such as causal intervention learning, semantic alignment in populations, and the integration of logic with learning theory. Her work bridges theoretical computer science, philosophy, and cognitive science. She is actively involved in international workshops and conferences, contributing to the advancement of dynamic logic and epistemic systems. Professional activities include examining PhD theses, advising on multi-agent systems, and collaborating on projects like hospital staff planning with multi-agent goals. Her research has been published in venues like Journal of Logic and Algebraic Programming and proceedings of the International Workshop on Dynamic Logic .









