Jens Claßen

Jens Claßen is a former Visiting Scientist in the Automata Theory Research Group at the International Center for Computational Logic (ICCL), part of the Faculty of Computer Science at TU Dresden. His research focuses on formal verification of Golog programs, decidability in automated reasoning, and logic-based systems. Claßen contributed to advancing methods for verifying temporal properties (LTL) and knowledge-based actions in non-terminating programs.

Research Interests:

• Formal Verification of Logic-Based Programs
• Decidability in Automated Reasoning
• Description Logic Applications
• Temporal Logic Analysis

Publications highlight trends in program verification for Golog, emphasizing non-local effect actions and decidability boundaries. His work bridges theoretical logic and practical program analysis.

No scientific awards are listed. Advising and grants sections remain unspecified. Claßens affiliation was with the ICCL and Automata Theory group during his tenure.