Zatrudnienie

Edukacja

  • Doktorat01.04.2019-01.04.2023

    Doktorat z informatyki

    Uniwersytet Techniczny w Dreźnie

    Promotor: Sebastian Rudolph

    Temat pracy: Database-Inspired Reasoning Problems in Description Logics With Path Expressions

  • Doktorat01.10.2018 - ...

    Doktorat z informatyki

    Uniwersytet Wrocławski, Wrocław, Polska

    Promotor: Emanuel Kieroński

  • 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