Studijní plán

Státní závěrečná zkouška sestává ze dvou odděleně klasifikovaných součástí: obhajoby diplomové práce a
odborné závěrečné zkoušky. Celá státní zkouška trvá zhruba jednu hodinu (přibližně 30 minut obhajoba, 30 minut zkoušení). Na prezentaci diplomové práce má student 15 minut, dalších 15 minut je věnováno rozboru posudků a diskuzi. V následující ústní závěrečné zkoušce student odpovídá bez přípravy na položené otázky, typicky jde o rozpravu v rozsahu dvou až tří otázek, přičemž minimálně jedna otázka je mu kladena z okruhu společného základu navazujícího studijního programu a minimálně jedna otázka ze studentem vybrané specializace.

Pro úspěšné složení závěrečné zkoušky musí student být schopen vysvětlit základní pojmy s nimiž se seznámil v profilujících předmětech programu, musí demonstrovat schopnost použití základních technik, metod a pojmů vysvětlených v profilujících předmětech programu a musí být schopen reagovat na relevantní doplňující otázky, případně, vybrané téma rozvinout do hloubky. Pokud student není schopen dostát některému z těchto požadavků, je hodnocem stupněm nevyhovující.

Podmínkou přístupu k závěrečné zkoušce je odevzdání diplomové práce. V případě negativních posudků na diplomovou práci se student může vzdát obhajoby, akceptovat hodnocení „nevyhověl“ a přejít rovnou ke zkoušení. V případě neúspěšné obhajoby není možné odstoupit od zkoušení.

Příklady obhájených závěrečných prací:
1) An Executable Formal Semantics of Agda: https://is.muni.cz/auth/th/373877/fi_m/
2) Optimal Sensor Scheduling for Systems under Temporal Constraints:
https://is.muni.cz/auth/th/396368/fi_m/
3) Zrychlení syntézy parametrů pro stochastické modely:
https://is.muni.cz/auth/th/374381/fi_m/
4) Verification of Name Service Cache Daemon with DIVINE Model Checker:
https://is.muni.cz/auth/th/359883/fi_m/
5) Efficient analysis of stochastic consumption games:
https://is.muni.cz/auth/th/396248/fi_m/