You are not logged in | Log in

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

Image — 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

2024-05-10