| Title | Type | Name of student |
|---|---|---|
| Simulátor PRAM strojů - souběžný zápis (Simulator of PRAM Machines - Concurrent Write) | Bachelors | Matouš Ćmiel |
| ω-automaty: Rabinovy automaty (ω-automata: Rabin Automata) | Bachelors | Kateřina Volková |
| Title | Type | Name of student |
|---|---|---|
| Simulátor PRAM strojů - exkluzivní zápis (Simulator of PRAM Machines - Exclusive Write) | Bachelors | Bc. Jan Kopidol |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jiří Margaretis |
| Simulátor stroje RAM (Simulator of RAM Machine) | Bachelors | Bc. Vojtěch Kříbek |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Ing. Stanislav Bajer |
| Komponenta výukového serveru TI - Turingovy stroje (Component of Teaching Server for Theoretical Computer Science - Turing Machines) | Masters | Bc. Martin Pustka |
| Title | Type | Name of student |
|---|---|---|
| Komponenta výukového serveru TI - Kombinatorické hry (Component of Teaching Server for Theoretical Computer Science - Combinatorial Games) | Bachelors | Ing. Tomáš Zvolánek |
| Komponenta výukového serveru TI - Predikátová logika (Component of Educational Server for Theoretical CS - Predicate Logic) | Masters | Ing. Michaela Lubyová |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jan Pecník |
| Komponenta výukového serveru TI - Bezkontextové gramatiky (Component of Teaching Server for Theoretical CS - Context-free Grammars) | Masters | Bc. Jan Havlas |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Lukáš Novák |
| Komponenta výukového serveru TI - Asymptotická notace (Component of Educational Server for Theoretical CS - Asymptotic Notation) | Bachelors | Ing. Martin Frýdl |
| Server pro podporu výuky ARUO (Supporting Server for Constraint Processing Teaching) | Masters | Bc. Lukáš Nevřela |
| Server pro podporu výuky teoretické informatiky (Supporting Server for Theoretical Computer Science Teaching) | Masters | Bc. Michael Janošík |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Petr Burdík |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jakub Kubień |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Tomáš Novobilský |
| Server pro podporu výuky ARUO (Supporting Server for Constraint Processing Teaching) | Masters | Ing. Jana Legerská |
| Server pro podporu výuky teoretické informatiky (Supporting Server for Theoretical Computer Science Teaching) | Masters | Bc. Michal Kubinec |
| Server pro podporu výuky teoretické informatiky ( Supporting Server for Theoretical Computer Science Teaching) | Masters | Bc. Jan Lesniak |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Tereza Holubčíková |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jan Kondula |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Dominik Ther |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jiří Cága |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Ing. Vojtěch Oczka |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Peter Bardáč |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Peter Slivoš |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Milan Cerovský |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Ing. Jiří Arleth |
| Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity mezi nBPA a nBPP (Simple Equivalence Checking Tool: Deciding Bisimilarity of nBPA and nBPP) | Masters | Bc. Martin Bradáč |
| Server pro podporu výuky teorie her (Supporting Server for Games Theory Teaching) | Masters | Bc. Martin Huráb |
| Server pro podporu výuky teorie her (Supporting Server for Games Theory Teaching) | Masters | Ing. Marek Záškodný |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Milan Blahák |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Łukasz Feber |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Ing. Martin Mikula |
| Generátor grafů konečných automatů - doplnění o operace s konečnými automaty (Generátor of Finite Automata Graphs - Addition of Operations on Finite Automata) | Bachelors | Bc. Martin Bachořík |
| Generátor grafů konečných automatů - doplnění o regulární výrazy (Generátor of Finite Automata Graphs - Addition of Regualar Expressions) | Bachelors | René Kamaryt |
| Jednoduchý nástroj pro ověřování ekvivalence systémů: Rozhodování bisimilarity na BPP (Simple Equivalence Checking Tool: Deciding Bisimilarity of BPP) | Masters | Bc. Jakub Juřica |
| Server pro podporu výuky teorie her (Supporting server for Games Theory teaching) | Masters | Ing. Tomáš Bařák |
| Title | Type | Name of student |
|---|---|---|
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Martin Jarosch |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Peter Janák |
| Absolvování individuální odborné praxe (Individual Professional Practice in the Company) | Bachelors | Bc. Jiří Hruška |
| Doplnění editoru a generátoru grafů konečných automatů (Addition of New Features to a Generator of Finite-automata Graphs) | Bachelors | Bc. Pavel Byma |