Jędrzej Kołodziejski – public defence of the doctoral dissertation

The public defence of the doctoral dissertation will take place on 24 May 2024 at 12:00 PM in room 2180 (sala RW) in the building of the MIMUW Faculty at 2 Banacha Street, Warsaw.

Title of the dissertation

Bisimulation-Invariant Logics: Beyond Finite (and Infinite)

Supervisor

• Prof. Bartosz Klin (University of Oxford)

Reviewers

• Prof. Witold Charatonik (University of Wrocław)
• Ph.D. Denis Kuperberg (CNRS, ENS Lyon)
• Ph.D. Karoliina Lehtinen (CNRS, Aix-Marseille Université)

Scientific discipline

computer and information sciences

Language of the defence

English

Documents

• Doctoral dissertation
• Reviews
  • Review
  • Review
  • Review