Zatrudnienie

Edukacja

  • Doktorat01.10.2018-01.10.2019

    Licencjat informatyki

    Uniwersytet Wrocławski, Wrocław, Polska

    Promotor: Witold Charatonik

  • M1 Computer Science01.09.2017-01.09.2018

    Master 1 voie Jacques Herbrand

    École normale supérieure Paris-Saclay

    Promotor: Stéphane Demri

    Praca: Assertion languages with modalities and separating connectives

  • Licencjat01.10.2014 - 15.02.2017

    Licencjat informatyki

    Uniwersytet Wrocławski, Wrocław, Polska

    Promotor: Witold Charatonik

    Praca: Satisfiability of the Two-Variable Fragment of First-Order Logic with counting quantifiers over finite trees