Jens Claßen

Jens Claßen is an Associate Professor in the Department of People and Technology at Roskilde University, Denmark, where he is a member of the Programming, Logic and Intelligent Systems research group. His academic career includes prior positions as Assistant Professor at the same institution, postdoctoral researcher at Simon Fraser University, and Ph.D. candidate and teaching assistant at RWTH Aachen University.

His research lies in Knowledge Representation and Reasoning, a core area of Artificial Intelligence, with a focus on symbolic approaches to agent cognition. Key interests include reasoning about action and change, beliefs, planning, agent program verification, synthesis, and machine ethics. He applies formal logic and automated reasoning techniques to model intelligent behavior in dynamic environments.

The recent publications highlight a strong trend in formal methods for agent systems, particularly in first-order logic frameworks, linear temporal logic synthesis, and progression in action theories. His work bridges theoretical AI with practical verification and synthesis techniques for intelligent agents.

• Scientific Awards: No awards listed in the provided text.

Jens Claßen has served as a sessional instructor and visiting lecturer at Simon Fraser University and FH Aachen University of Applied Sciences, teaching courses in artificial intelligence and knowledge representation. He has advised students at various levels, though specific names are not listed. His research is supported through institutional affiliations and active participation in major AI conferences like AAAI. He has contributed to open-source tools such as a PDDL parser, belief projection system, and GOLOG verification framework, indicating engagement in both theoretical and implementational aspects of AI.

He leads and contributes to research in the Programming, Logic and Intelligent Systems group at Roskilde University, focusing on foundational aspects of intelligent agents. His open-source projects suggest active involvement in tools that support reasoning and planning research, fostering reproducibility and collaboration in the AI community.