Tematy prac magisterskich uczestnikow seminarium

LOGIKA I TEORIA OBLICZEŃ

Tadeusz Kopec, Rozwiazywanie wlasnosci jezykow slow nieskonczonych

Jerzy Koroblewski, Juliusz Stepinski, Analiza algorytmow rozwiazywania ukladow rownan stalopunktowych

Mikolaj Bojanczyk, Problem skończonego modelu w zdaniowym rachunku Mi

Tomasz Urbanski, O pewnych problemach zlozonosci obliczeniowej w sieciach boolowskich

Marcin Rychlik, Zagadnienia bezpieczenstwa w kwantowej wymianie informacji: kryptografia, obliczenia, gry

Radoslaw Bartosiak, Przyblizone wyznaczanie punktow stalych z twierdzenia Brouwera

Lukasz Krzeszczakowski, O zlozonosci problemu znajdowania strategii w grach teorio-modelowych

Michal Smoktunowicz, Krzywe eliptyczne w kryptografii

Maciej Kwiatkowski, System anonimowych mikorpolatnosci

Grzegorz Chojnacki, Deterministyczne testy pierwszosci

Slawomir Leszczynski, Gry Artura-Merlina ze skonczona pamiecia

Michal Bernardelli, Deterministyczny algorytm rozpoznawania liczb pierwszych - podejscie logiczne

Andrzej Chmielowiec, Obliczeniowe aspekty problemu dzielnikow

Pawel Wolff, Algorytmiczne problemy rozwiazywania gier nieskonczonych

Michal Strojnowski, Sprawiedliwe podzialy trojwymiarowych ukladow pokolorowanych jednostkowych szescianow

Joanna Czarnocka, Anonimowosc w Internecie: metody kryptograficzne, realizacje formalna weryfikacja

Dominik Kaminski, Adaptywnosc w wielopodmiotowych obliczeniach funkcji


Damian Niwinski