Scholar
Roman Kuznets
Google Scholar ID: Md2fsCgAAAAJ
Institute of Computer Science of the Czech Academy of Sciences
Citations & Impact
Citations
564
H-index
15
i10-index
25
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- 1. Participated in the first meeting of authors for the upcoming book 'Modal Logic Today: A Handbook', writing the chapter 'Proof Systems for Modal Logic'.
- 2. Attended the traditional meeting of the Standing Committee of ESSLLI 2025.
- 3. Marta Bílková presented joint work at LATD 2025.
- 4. Co-edited the proceedings of SIROCCO 2025 with Ulrich Schmid.
Research Experience
- 1. Member of the P JAC project TRUST: Knowledge in the Age of Distrust.
- 2. Collaborated with Marta Bílková, Hans van Ditmarsch, and Rojo Randrianomentsoa.
- 3. Co-supervised Giorgio Cignarale's PhD thesis, which was successfully defended.
Background
- Roman Kuznets is a Senior Scientist in the Department of Theoretical Computer Science at the Institute of Computer Science, Czech Academy of Sciences. He is interested in fault-tolerant distributed systems, modal logic, dynamic epistemic logic, structural proof theory, interpolation, and justification logic.
Miscellany
- 1. In June 2025, the Institute of Computer Science celebrated its 50th anniversary.
- 2. Roman participated in several international academic activities, including the CELIA final workshop and Sena Bozdag's visit to Prague.
Co-authors