معرفی
Jens Classen is an Associate Professor in the Department of People and Technology Programming, Logic and Intelligent Systems at Roskilde University. His research focuses on knowledge representation, automated reasoning, and agent-based systems within artificial intelligence.
Classen investigates formal methods for agent program synthesis, action theories in first-order logic, and educational applications of flipped classroom methodologies. His work spans theoretical foundations of knowledge representation and practical applications in educational technology.
Recent publications explore LTLf synthesis in nondeterministic environments, advancements in first-order progression techniques, and pedagogical innovations in student engagement strategies.
