Promowane prace dyplomowe -- archiwum

20. (bachelor) Michał Beń, 2024.
Mastering the game Breakthrough (Opanowanie gry Breakthrough).

19. (bachelor) Michał Hetnar, 2023.
Implementing functions related to semigroup primitivity for an application visualizing synchronizing automata (Rozszerzenie programu do wizualizacji automatów synchronizowalnych o funkcje związane z prymitywnością półgrup).

• Related project: [SynchroViewer]

18. (bachelor) Sebastian Uryga, 2022.
Game implementation: Open Arena of Swords and Magic (Implementacja gry: Open Arena of Swords and Magic).

17. (bachelor) Adam Zyzik, 2022.
An improved algorithm for finding the shortest synchronizing words (Ulepszony algorytm znajdujący najkrótsze słowa synchronizujące).

• 2nd place (wyróżnienie pierwszego stopnia) at the Engineer 4 Science 2022 competition. [link]

• Related paper: An Improved Algorithm for Finding the Shortest Synchronizing Words. ESA 2022. [doi] [arxiv]

• Related project: [SynchroWords]

16. (bachelor) Michał Kępa, Michał Maras, 2022.
Neural Networks for Regular Boardgames (Sieci neuronowe dla języka Regular Boardgames).

15. (bachelor) Hubert Obrzut, 2021.
Efficient vectors with static and dynamic storage in C++ (Wydajne wektory ze statyczną i dynamiczną alokacją pamięci w C++).

• Related project: [FastVectors]

14. (bachelor) Łukasz Galas, 2021.
Super-efficient implementation of a selected set of games (Superwydajna implementacja wybranego zbioru gier).

13. (bachelor) Grzegorz Klocek, 2021.
An algebraic module extension for an application for synchronizing automata visualization (Rozszerzenie programu do wizualizacji automatów synchronizowalnych o moduł algebry liniowej).

• Related project: [SynchroViewer]

12. (bachelor) Wojciech Pawlik, 2021.
A General Game Playing agent using Monte-Carlo Tree Search with split moves (Agent General Game Playing używający Monte-Carlo Tree Search z podzielonymi ruchami).

• Related paper: Split Moves for Monte-Carlo Tree Search. AAAI 2022. [doi] [arxiv]

• Related project: [Regular Boardgames]

11. (master) Maksymilian Mika, 2019.
The Frobenius and factor universality problems of the free monoid on a finite set of words (Problem Frobeniusa oraz uniwersalności faktorowej wolnego monoidu na skończonym zbiorze słów).

• 2nd place at the PTI competition for the best master thesis in 2019, national level (II nagroda w ogólnopolskim konkursie PTI na najlepsze prace magisterskie).

• 1st place at the faculty competition for the best master thesis in 2020 (I nagroda w wydziałowym konkursie na najlepsze prace magisterskie).

• Related paper: The Frobenius and Factor Universality Problems of the Kleene Star of a Finite Set of Words. Journal of the ACM, 2021. [doi] [arxiv]

10. (master) Jakub Sutowicz, 2019.
Regular Boardgames Language (Język Regular Boardgames).

• 1st place at the faculty competition for the best master thesis in 2019 (I nagroda w wydziałowym konkursie na najlepsze prace magisterskie).

• Related paper: Regular Boardgames. AAAI 2019. [doi] [arxiv]

9. (bachelor) Dawid Wójcik, 2019.
An algorithm for generating nonisomorphic unary automata (Algorytm do generowania nieizomorficznych automatów unarnych).

8. (bachelor) Wojciech Oziębły, 2019.
A faster vector with mremap (Szybszy wektor z mremap).

7. (master) Robert Ferens, 2018.
Complexity of preimage problems in deterministic finite automata (Złożoność problemów przeciwobrazowych dla deterministycznych automatów skończonych).

• Related papers:

  • Preimage problems for deterministic finite automata. Journal of Computer and System Sciences, 2021. [doi] [arxiv]

  • Complexity of Preimage Problems for Deterministic Finite Automata. MFCS 2018. [doi] [arxiv]

6. (master) Michalina Dżyga, 2018.
Synchronizing automata with extremal properties (Automaty synchronizowalne o ekstremalnych własnościach).

• Related paper: Attainable Values of Reset Thresholds. MFCS 2017. [doi]

5. (bachelor) Maksymilian Mika, 2018.
Game Manager for Regular Boardgames (Game Manager dla języka Regular Boardgames).

4. (bachelor) Aleksander Łukasiewicz, 2017.
Crazyhouse playing program (Program grający w Crazyhouse).

3. (bachelor) Robert Ferens, 2016.
Complexity of regular bifix-free languages (Złożoność języków regularnych bez prefiksów i sufiksów).

• Related papers:

  • Complexity of bifix-free regular languages. Theoretical Computer Science, 2019. [doi] [arxiv]

  • Complexity of Bifix-Free Regular Languages. CIAA 2017. [doi] [arxiv]

2. (bachelor) Tomasz Jurkiewicz, 2016.
An application for analyzing synchronizing automata (Aplikacja do analizowania automatów synchronizowalnych).

• Related project: [SynchroViewer]

1. (bachelor) Jakub Sutowicz, 2016.
Simplified Boardgames to Game Description Language Translator (Translator języka Simplified Boardgames do Game Description Language).