Jędrzej Kołodziejski – publiczna obrona rozprawy doktorskiej

Publiczna obrona rozprawy doktorskiej odbędzie się 24 maja 2024 o godzinie 12:00 w Warszawie, w gmachu Wydziału MIMUW przy ulicy Banacha 2, w sali 2180 (sala RW).

Tytuł rozprawy

Bisimulation-Invariant Logics: Beyond Finite (and Infinite) (Logiki niezmiennicze na bisymulacje: dalej niż skończoność (i nieskończoność))

Promotor

• prof. Bartosz Klin (University of Oxford)

Recenzenci

• prof. dr hab. Witold Charatonik (Uniwersytet Wrocławski)
• dr Denis Kuperberg (CNRS, ENS Lyon)
• dr Karoliina Lehtinen (CNRS, Aix-Marseille Université)

Dyscyplina naukowa

informatyka

Język obrony

Język angielski

Dokumenty

• Praca doktorska
• Recenzje
  • Recenzja
  • Recenzja
  • Recenzja