Detail oboru
Výpočetní technika a informatika
Zkratka: DVI4
Ak. rok: 2021/2022
Délka studia: 4 roky
Program: Výpočetní technika a informatika
Jazyk výuky: česky
Forma studia: kombinovaná
Akreditace od: 2007 Akreditace do: 2024 Ukončení přijímání: 2020
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ů.
- 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
- 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
Výběr akademického roku a studijního plánu
Zkr | Název | Pov | Zak | Fa |
---|---|---|---|---|
JAD | Zkouška z jazyka anglického pro Ph.D. | P | Zk | FIT |
Zkr | Název | Pov | Zak | Fa |
---|---|---|---|---|
APD | Vybraná témata z analýzy a překladu jazyků | V | Zk | FIT |
ASD | Zpracování řeči a audia člověkem a počítačem | V | Zk | FIT |
DPC-MA1 | Statistika. stochastické procesy, operační výzkum | V | Zk | FEKT |
DPC-TK1 | Optimalizační metody a teorie hromadné obsluhy | V | Zk | FEKT |
FAD | Formální analýza programů | V | Zk | FIT |
IV108 | Bioinformatika | V | Zk | FIT |
JA6D | Angličtina pro doktorandy | V | Zk | FIT |
MID | Moderní matematické metody v informatice | V | Zk | FIT |
MMD | Moderní metody zobrazování 3D scény | V | Zk | FIT |
MSD | Modelování a simulace | V | Zk | FIT |
MZD | Moderní metody zpracování řeči | V | Zk | FIT |
OPD | Optika | V | Zk | FIT |
ORID | Optimální řízení a identifikace | V | Zk | FIT |
PBD | Pokročilé biometrické systémy | V | Zk | FIT |
PDD | Aplikace paralelních počítačů | V | Zk | FIT |
PGD | Počítačová grafika | V | Zk | FIT |
PND | Pokročilé techniky návrhu číslicových systémů | V | Zk | FIT |
PTD | Principy syntézy testovatelných obvodů | V | Zk | FIT |
RGD | Regulované gramatiky a automaty | V | Zk | FIT |
TID | Moderní teoretická informatika | V | Zk | FIT |
TJD | Teorie programovacích jazyků | V | Zk | FIT |
ZPD | Zpracování přirozeného jazyka | V | Zk | FIT |
Zkr | Název | Pov | Zak | Fa |
---|---|---|---|---|
BID | Bezpečnost informačních systémů a kryptografie | V | Zk | FIT |
EUD | Evoluční a neurální hardware | V | Zk | FIT |
EVD | Evoluční výpočetní techniky | V | Zk | FIT |
ISD | Inteligentní systémy | V | Zk | FIT |
JA6D | Angličtina pro doktorandy *) | V | Zk | FIT |
KRD | Klasifikace a rozpoznávání | V | Zk | FIT |
MAD | Vybrané kapitoly z matematiky | V | Zk | FIT |
MLD | Matematická logika | V | Zk | FIT |
SOD | Systémy odolné proti poruchám | V | Zk | FIT |
TAD | Teorie a aplikace Petriho sítí | V | Zk | FIT |
TKD | Teorie kategorií v informatice | V | Zk | FIT |
VND | Vysoce náročné výpočty | V | Zk | FIT |
VPD | Vybrané problémy informačních systémů | V | Zk | FIT |
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný