Formal Methods for Software Analysis

Absolvent je odborník se silnými teoretickými i praktickými znalostmi v oblasti matematických a logických metod pro analýzu, verifikaci a ověřování softwarových systémů. Dokáže aplikovat algoritmy pro model checking, splnitelnost formulí
a automatické dokazování k ověřování správnosti a bezpečnosti software.

Má schopnost navrhovat a implementovat metody pro detekci chyb a nesprávností v kritických systémech, což je klíčové v oblastech, kde je vysoký požadavek na spolehlivost a bezpečnost, jako jsou letectví, automobilový průmysl, medicína nebo finance. Absolventi také chápou principy, schopnosti a omezení nástrojů pro automatizovanou verifikaci.

Uplatnění absolventa

Absolventi jsou schopni efektivně analyzovat a zajišťovat kvalitu software pomocí pokročilých teoretických metod, což je klíčové pro odvětví, kde je software zásadní pro bezpečnost a stabilitu.

Přijímací řízení

https://www.fi.muni.cz/admission/lifelong/thematic-learning/

Podmínky přijetí

• Požadované vstupní vzdělání: střední s maturitou.

Uchazeč je povinen doložit úspěšně ukončené středoškolské vzdělání a zaplatit poplatek za vzdělávání. Plán je nicméně doporučen pro absolventy alespoň bakalářského studia se zaměřením na matematiku nebo informatiku.

• Účast: Prezenční

Jednotlivé předměty jsou vyučovány prezenčně. Očekává se tedy, že studenti se budou zúčastňovat výuky dle rozvrhu. Nad rámec přednášek a cvičení je možné poskytovat individuální konzultace.