Igor Sedlár

Igor Sedlár is a researcher at the Czech Academy of Sciences (CAS) in Prague, affiliated with the Institute of Computer Science (ICS CAS) in the Department of Theoretical Computer Science, where he is part of the LogICS group. He holds a part-time position in the Department of Logic at the CAS Institute of Philosophy. His work primarily focuses on modal and non-classical logics, dynamic logics, and their applications in modeling information dynamics. He has led projects such as the Czech-Taiwanese KATRA project (2025-2027) and the Czech Science Foundation-funded GRADLACT project (2022-2024).

Sedlár teaches courses in dynamic logic and non-classical reasoning at Charles University and Czech Technical University. He serves as deputy head of the Department of Theoretical Computer Science at ICS CAS and on program committees for conferences like Logica, DaLí, and AiML. His research interests include epistemic logic, temporal logic, and the formal analysis of reasoning systems.