Prace magisterskie uczestników seminarium
(poniższa lista jest niekompletna)Tadeusz Kopeć, Rozwiązywanie własności językow słów nieskończonych
Jerzy Koroblewski, Juliusz Stepinski, Analiza algorytmów rozwiązywania układów równań stałopunktowych
Mikołaj Bojańczyk, Problem skończonego modelu w zdaniowym rachunku Mi
Tomasz Urbański, O pewnych problemach zlozoności obliczeniowej w sieciach boolowskich
Marcin Rychlik, Zagadnienia bezpieczenstwa w kwantowej wymianie informacji: kryptografia, obliczenia, gry
Radosław Bartosiak, Przybliżone wyznaczanie punktów stałych z twierdzenia Brouwera
Łukasz Krzeszczakowski, O złożoności problemu znajdowania strategii w grach teorio-modelowych
Michał Smoktunowicz, Krzywe eliptyczne w kryptografii
Maciej Kwiatkowski, System anonimowych mikorpolatnosci
Grzegorz Chojnacki, Deterministyczne testy pierwszości
Sławomir Leszczynski, Gry Artura-Merlina ze skończoną pamięcią
Michał Bernardelli, Deterministyczny algorytm rozpoznawania liczb pierwszych - podejście logiczne
Andrzej Chmielowiec, Obliczeniowe aspekty problemu dzielników
Paweł Wolff, Algorytmiczne problemy rozwiązywania gier nieskończonych
Michał Strojnowski, Sprawiedliwe podziały trójwymiarowych ukladów pokolorowanych jednostkowych szescianów
Joanna Czarnocka, Anonimowość w Internecie: metody kryptograficzne, realizacje, formalna weryfikacja
Dominik Kamiński, Adaptywność w wielopodmiotowych obliczeniach funkcji