Embedded Files
Upcoming Events
Upcoming Events
Czech Gathering of Logicians & Beauty of Logic 2026
Czech Gathering of Logicians & Beauty of Logic 2026
February 4–6, 2026 —Academic Conference Center, Prague, Czechia
February 4–6, 2026 —Academic Conference Center, Prague, Czechia
The conference is organized by the Institute of Computer Science and co-organized by the Institute of Philosophy of the Czech Academy of Sciences. OC Chair: Zuzana Haniková.
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
Nicola Olivetti's visit to Prague
Nicola Olivetti's visit to Prague
January 21–23, 2026 — Institute of Philosophy of CAS, Prague, Czechia
January 21–23, 2026 — Institute of Philosophy of CAS, Prague, Czechia
Nicola Olivetti was visiting Han Gao at the institute.
Best Dissertation Award of Hugo Rincón Galeana
Best Dissertation Award of Hugo Rincón Galeana
December 4, 2025 — TU Wien, Vienna, Austria
December 4, 2025 — TU Wien, Vienna, Austria
Dr. Hugo Rincón Galeana won the TU Wien Informatics Best Dissertation Award for his PhD thesis Methods for Analyzing Task Solvability in Distributed Computing. Congratulations! Dr. Rojo Randrianomentsoa was one of the nominees
CELIA Final Workshop
CELIA Final Workshop
September 29–30, 2025 — Institute of Philosophy of CAS, Prague, Czechia
September 29–30, 2025 — Institute of Philosophy of CAS, Prague, Czechia
Marta Bílková gave the talk Epistemic Logic(s) of Crash Failures on a joint work with me, Hans van Ditmarsch, and Rojo Randrianomentsoa.
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!
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.
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!
Page updated
Google Sites
Report abuse