Embedded Files
Upcoming Events
Upcoming Events
Short Bio
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
CV and Professional Links
Past Events
Past Events
Defense of Giorgio Cignarale
Defense of Giorgio Cignarale
August 29, 2025 — TU Wien, Vienna, Austria
August 29, 2025 — TU Wien, Vienna, Austria
My PhD student (under joint supervision with Ulrich Schmid) successfully defended his thesis On A priori Belief Updates in the Epistemic Analysis of Distributed Systems. Congratulations!
He will start a postdoctoral position in the Theory and Logic Group from September. Good luck!
ESSLLI 2025
ESSLLI 2025
August 2, 2025 — Ruhr University Bochum, Bochum, Germany
August 2, 2025 — Ruhr University Bochum, Bochum, Germany
The Standing Committee of ESSLLI had its traditional meeting between the two weeks of the school.
LATD 2025
LATD 2025
July 22, 2025 — University of Siena, Siena, Italy
July 22, 2025 — University of Siena, Siena, Italy
Marta Bílková gave the talk Language for Crash Failures in Impure Simplicial Complexes on a joint work with me, Hans van Ditmarsch, and Rojo Randrianomentsoa.
Dr. Rojo Randrianomentsoa started a postdoctoral position in Bern
Dr. Rojo Randrianomentsoa started a postdoctoral position in Bern
July 1, 2025 — University of Bern, Bern, Switzerland
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
Modal Logic Today: A Handbook
June 30, 2025 — online
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!
Institute of Computer Science is 50 years!
June 18, 2025 — Czech Association of Scientific and Technical Societies, Prague, Czechia
June 18, 2025 — Czech Association of Scientific and Technical Societies, Prague, Czechia
Our insitute celebrated its 50th anniversary.
Visit of Clara Lerouvillois to Prague
Visit of Clara Lerouvillois to Prague
June 16–20, 2025 — Institute of Computer Science, Prague, Czechia
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
SIROCCO 2025 Proceedings are online
May 21, 2025 — Springer website
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
Logica 2025
May 15, 2025 — Hejnice Monastery, Hejnice, Czechia
May 15, 2025 — Hejnice Monastery, Hejnice, Czechia
I gave the 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
Visit of Sena Bozdag to Prague
May 6–21, 2025 — Institute of Computer Science, Prague, Czechia
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
Defense of Rojo Randrianomentsoa
May 5, 2025 — TU Wien, Vienna, Austria
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
Computation Logic Seminar
April 29, 2025 — Graduate Center of the City University of New York
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
CELIA Fourth Project Meeting
February 18, 2025 — University of Bayreuth, Bayreuth, Germany
February 18, 2025 — University of Bayreuth, Bayreuth, Germany
Marta Bílková and I gave the 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
Second Workshop on Craig Interpolation and Beth Definability
November 27, 2024 — TU Dortmund University, Dortmund, Germany
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