Roman Kuznets

Roman Kuznets is a Senior Researcher in the Department of Theoretical Computer Science at the Institute of Computer Science of the Czech Academy of Sciences. He also serves as the Principal Investigator of the FWF-funded project ByzDEL at TU Wien's Faculty of Informatics, focusing on reasoning about knowledge in Byzantine distributed systems. His research interests span fault-tolerant distributed systems, modal logic, dynamic epistemic logic, structural proof theory, interpolation, and justification logic.

He is a key member of the bilateral PANDAFOREST project funded by GA ČR and FWF, exploring proof analysis and automated deduction in recursive structures. His work often bridges theoretical foundations with practical applications in distributed computing, epistemic systems, and formal verification. Recent contributions include advancements in simplicial complex modeling for knowledge representation and decidability results for intuitionistic S4.

In 2023, he presented at multiple venues including TABLEAUX, GandALF, and Dagstuhl Seminars, with talks on topics like uniform interpolation, decidability of intuitionistic modal logics, and simplicial semantics. His research frequently involves collaborations with institutions like TU Wien and international researchers in logic and distributed systems.

Kuznets' projects emphasize both foundational logic research and applied aspects of fault tolerance, with a focus on formal methods for ensuring correctness in complex systems. His work is disseminated through conferences, workshops, and collaborative seminars, reflecting his role at the intersection of academia and applied research.