2023

    Michał Seweryn,
    Dimension of posets with cover graphs in minor-closed classes
    supervisor: Piotr Micek

2020

    Patryk Mikos
    Geometric and weight constraints in Online Interval Coloring
    supervisor: Paweł M. Idziak, Grzegorz Gutowski

    Grzegorz Guśpiel
    Nowe struktury kombinatoryczne w kilku problemach algorytmicznych
    supervisor: Paweł M. Idziak, Grzegorz Gutowski

2019

    Karol Kosiński
    Różnorodne oblicza ciągów bez powtórzeń
    supervisor: Jarosław Grytczuk

    Adam Polak
    Hardness in theory of computing
    supervisor: Paweł M. Idziak

2017

    Maciej Bendkowski,
    Quantitative aspects and generation of random lambda and combinatory logic terms
    supervisor: Marek Zaionc, Katarzyna Grygiel

2015

    Andrzej Grzesik,
    Flag Algebras in Extremal Graph Theory
    supervisor: Jarosław Grytczuk

2014

    Michał Lasoń
    Coloring games and algebraic problems on matroids
    supervisor: Jarosław Grytczuk

2013

    Katarzyna Grygiel,
    Asymptotic properties of lambda-calculus and combinatorial logic
    supervisor: Marek Zaionc
    Arkadiusz Pawlik
    Chromatic number of geometric intersection graphs
    supervisor: Paweł M.Idziak

    Michał Staromiejski
    Complexity of ring isomorphism problem
    supervisor: Paweł M. Idziak

    Wiktor Żelazny<
    Additive colourings of graphs
    supervisor: Jarosław Grytczuk

2012

    Grzegorz Gutowski
    On-line choosability
    supervisor: Paweł M. Idziak

    Bartosz Walczak
    Graph sharing games: strategies and algorithms, [pdf]
    supervisor: Paweł M. Idziak

2010

    Jarosław Duda,
    Asymmetric Numeral Systems, [pdf]
    supervisor: Marek Zaionc

    Lech Duraj
    Optimal graph orientation problems
    supervisor: Paweł M. Idziak

2009

    Jan Jeżabek,
    On-line buffer management with bounded delay
    supervisor: Paweł M. Idziak

2008

    Bartłomiej Bosek,
    On-line chain partitioning approach to scheduling, [pdf]
    supervisor: Paweł M. Idziak

    Przemysław Broniek
    Computational complexity of solving equation systems, [pdf]
    supervisor: Paweł M. Idziak

    Kamil Kloch,
    On-line dimension of semi-orders, [pdf]
    supervisor: Paweł M. Idziak

    Jacek Krzaczkowski,
    Complexity of equation solving, [pdf]
    supervisor: Paweł M. Idziak

    Piotr Micek
    On-line chain partitioning of semi-orders, [pdf]
    supervisor: Paweł M. Idziak

2006

    Iwona Cieślik
    On-line graph coloring, [pdf]
    supervisor: Paweł M. Idziak

    Jakub Kozik
    Decidability of relative density in Chomsky hierarchy of languages, [pdf]
    supervisor: Marek Zaionc

    Grzegorz Matecki
    On-line graph coloring on a bounded board, [pdf]
    supervisor: Paweł M. Idziak

    Edward Szczypka,
    Object complexity
    supervisor: Paweł M. Idziak

2000

    >Malgorzata Moczurad
    Syntaktyczne metody dowodzenia własności typowanego rachunku lambda
    supervisor: Marek Zaionc

1999

    Tomasz Gorazd
    Isomorphism testing for varieties of algebras
    supervisor: Paweł M. Idziak

1998

    Jerzy Hanusek
    Decision problem for algebras with a distinguished subset
    supervisor: Paweł M. Idziak

1997

    Mohammed Abd El Hakim Sherif,
    Decision problems for orthomodular lattices
    supervisor: Paweł M. Idziak