Jan Hladik

Dr. Jan Hladik is a former Research Associate at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at TU Dresden. His research focused on automata theory, description logics, and formal methods with applications in access control and security systems. He contributed to the theoretical foundations of description logics, particularly in automata-based reasoning and complexity analysis. His work includes integrating OWL DL reasoning for RBAC systems and developing PSPACE automata for description logics. Hladik collaborated on tools like FaCT and RACER, advancing the implementation of formal logic systems.

Education & Affiliations

While specific educational details are not provided, his research contributions suggest advanced training in computer science and formal logic. He was affiliated with the Automata Theory research group at ICCL during his tenure.

Research Contributions

Hladik’s publications bridge theoretical computer science and practical applications in security, focusing on:

• Developing automata-based methods for PSPACE complexity in description logics
• Applying OWL DL reasoning to role-based access control (RBAC)
• Implementing formal systems like GF1- and optimizing tools for nominal reasoning

Grants & Collaborations

No specific grants are listed, but his work involved collaborations with institutions and participation in workshops like OWLED 2008 and DL 2003.

Labs & Teams

Active member of the Automata Theory group at ICCL, contributing to foundational research in computational logic.