Roman Kuznets's Homepage

Short Bio

CV and Professional Links

Past Events

Modal Logic Today: A Handbook

SIROCCO 2025 Proceedings are online

Logica 2025

Defense of Rojo Randrianomentsoa

CELIA Fourth Project Meeting

Second Workshop on Craig Interpolation and Beth Definability

Upcoming Events

Short Bio

I am a Senior Scientist in the Department of Theoretical Computer Science of the Institute of Computer Science at the Czech Academy of Sciences.

I am a member of the P JAC project TRUST: Knowledge in the Age of Distrust.

I am interested in fault-tolerant distributed systems, modal logic, dynamic epistemic logic, structural proof theory, interpolation, and justification logic.

Below are links to my CV and professional profiles.

CV and Professional Links

Google Scholar

ResearchGate

ORCID

dblp

Scopus

Web of Science

MathSciNet

zbMATH

ACM DL

Math Genealogy

Past Events

Dr. Rojo Randrianomentsoa started a postdoctoral position in Bern

July 1, 2025 — University of Bern, Bern, Switzerland

My former PhD student started her first postdoc at the University of Bern, in the Logic and Theory Group. Good luck!

Modal Logic Today: A Handbook

June 30, 2025 — online

Sara Negri and I participated in the first meeting of authors of the upcoming book Modal Logic Today: A Handbook, edited by Johan van Benthem, Patrick Blackburn, and Frank Wolter and intended as a continuation of the Handbook of Modal Logic published in 2007, where we will be writing the chapter Proof Systems for Modal Logic for the Mathematical Perspectives section edited by Lev Beklemishev.

Institute of Computer Science is 50 years!

June 18, 2025 — Czech Association of Scientific and Technical Societies, Prague, Czechia

Our insitute celebrated its 50th anniversary.

Visit of Clara Lerouvillois to Prague

June 16–20, 2025 — Institute of Computer Science, Prague, Czechia

Clara Lerouvillois from the University of Toulouse was visiting Marta Bílková and me.

SIROCCO 2025 Proceedings are online

May 21, 2025 — Springer website

Proceedings of the 32nd International Colloquium Structural Information and Communication Complexity that I edited jointly with Ulrich Schmid are online.

Logica 2025

May 15, 2025 — Hejnice Monastery, Hejnice, Czechia

I gave a talk Epistemic Logic of Crash Failures on a joint work with Marta Bílková, Hans van Ditmarsch, and Rojo Randrianomentsoa.

Visit of Sena Bozdag to Prague

May 6–21, 2025 — Institute of Computer Science, Prague, Czechia

Sena Bozdag from the University of Bayreuth was visiting Marta Bílková and me.

Defense of Rojo Randrianomentsoa

May 5, 2025 — TU Wien, Vienna, Austria

My PhD student (under joint supervision with Ulrich Schmid and Hans van Ditmarsch) successfully defended her thesis Epistemic Logic for Distributed Systems with Crash Failures. Congratulations!

Computation Logic Seminar

April 29, 2025 — Graduate Center of the City University of New York

I gave an invited talk Impure Simplicial Complexes: From Global to Local and Back Again online.

CELIA Fourth Project Meeting

February 18, 2025 — University of Bayreuth, Bayreuth, Germany

Marta Bílková and I gave a talk Epistemic Logic of Crash Failures on a joint work with Hans van Ditmarsch and Rojo Randrianomentsoa.

Second Workshop on Craig Interpolation and Beth Definability

November 27, 2024 — TU Dortmund University, Dortmund, Germany

Raheleh Jalali and I presented the chapter Proof Theory, which we are writing together with Iris van der Giessen for the upcoming book Theory and Applications of Craig Interpolation, edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter.

Page updated

Google Sites

Report abuse