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.
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!
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.
My former PhD student started her first postdoc at the University of Bern, in the Logic and Theory Group. Good luck!
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.
Clara Lerouvillois from the University of Toulouse was visiting Marta Bílková and me.
Sena Bozdag from the University of Bayreuth was visiting Marta Bílková and me.
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.