Výpočetní technika a informatika

Cílem studijního programu je poskytnout vynikajícím absolventům magisterského studia specializované univerzitní vzdělání nejvyššího typu ve vybraných oblastech informatiky, vypočetní techniky a informačních technologií. Toto vzdělání zahrnuje také průpravu a atestaci k vědecké práci.

Schopnost tvůrčí výzkumné práce v oblasti informačních technologií samostatně nebo ve vědeckém týmu na mezinárodní úrovni. Publikování výsledků na mezinárodních vědeckých konferencích a v časopisech. Schopnost nastudovat, rozvinout do praktické podoby, aplikovat v průmyslové praxi a dále rozvíjet nejnovější výsledky výzkumu.

Rozsah státní závěrečné zkoušky je vymezen individuálním studijním plánem studenta a tématem jeho disertační práce. V průběhu zkoušky i v pojednání k tématu disertační práce prokazuje student znalosti metodologických přístupů, teorií a jejích aplikací v souladu se současným stavem poznání a to na úrovni převyšující úroveň znalostí v odpovídajícím magisterském studiu. Součástí státní doktorské zkoušky je rovněž hodnocení předpokládaných cílů disertační práce, metod řešení a doposud dosažených vlastních výsledků.

• Extrémně rychlé a přesné řešení rozsáhlých soustav diferenciálních rovnic
• Paralelní kompilátory: modely, techniky a implementace
• Prostředí pro modelování heterogenních systémů
• Formální specifikace a verifikace komunikačních protokolů
• Biometrické bezpečnostní systémy
• Metody získávání znalostí z WWW
• Automatické zpracování řeči pro bezpečnostní aplikace
• Akcelerace rozpoznávání rastrového obrazu
• Definice a řízení procesů v objektově orientovaných informačních systémech
• Dynamicky rekonfigurovatelné výpočetní architektury
• Architektura technického a programového vybavení multiprocesorových systémů
• Uplatnění formálních postupů při verifikaci testovatelnosti číslicového obvodu