About
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.
Find Jens Claßen elsewhere
Related Searches
You Might Also Like
Jens ClaßenRWTH Aachen University · Associate Professor
Franz BaaderDresden University of Technology · Professor- RRajeev GoréDresden University of Technology · Visiting Professor
- JJan HladikDresden University of Technology · Researcher
- OOliver Fernández GilDresden University of Technology · Researcher
- MMartin KnechtelDresden University of Technology · Researcher