Prezenční 2 roky Zakončeno titulem Ing.
Matematické metody v informačních technologiích vám pomohou proniknout do základů informačních technologií. Na škole se je naučíte chápat a prakticky aplikovat. Prohloubíte si znalosti v oblasti matematiky, informatiky, modelování, simulace a optimalizace, automatizované analýzy, verifikace a testování korektnosti počítačových systémů. Po skončení studia se stanete žádanými specialisty - budete schopni aplikovat v praxi vysoce pokročilé moderní technologie, včetně těch nekonvenčních. Díky hlubokým znalostem algoritmizace se uplatníte v komerční sféře nebo v odvětvích zaměřených na vývoj a provoz náročných softwarových systémů.
Prof. Ing.
Ph.D.
Baví ho pohybovat se na pomezí matematiky, formálních metod a jejich aplikací v informatice. Zajímá se o statickou analýzu a verifikaci s formálními kořeny, ale také o dynamickou analýzu a testování. Seznamuje studenty s principy operačních systémů a snaží se je naučit přesně formulovat své myšlenky.
Doc. RNDr.
Ph.D.
Mladý, energický kantor s bohatými pedagogickými zkušenostmi. Zaměřuje se na oblasti teoretické informatiky, formálních metod, matematického modelování, návrhů a implementaci efektivních (paralelních) algoritmů. Klade důraz na zapojení studentů do výzkumu a kontaktní formu výuky.
Prof. RNDr.
CSc.
Profesor Češka přednáší předměty Teoretická informatika a Petriho sítě. Patří spíše k náročným učitelům, udržujícím kvalitu absolventů v oblasti teoretického vzdělání. Ve výzkumu se zabývá formálními modely výpočetních systémů.
Doc. Mgr.
Ph.D.
Zabývá se výzkumem teoretické informatiky s důrazem na možné praktické použití: v oblastech mechanizace logiky, teorie a algoritmů pro konečné automaty, s použitelností například ve verifikaci software, analýze bezpečnosti nebo sledování síťového provozu. Šikovné studenty aktivně zapojuje do výzkumů.
Ing.
Ph.D.
Zkoumá a vytváří počítačové modely našeho každodenního života (hlasování ve volbách, výroba v továrnách). Zabývá se výpočetními optimalizacemi v elektroenergetice a plánování průmyslové výroby. Jeho programy pomáhají lidem se nezbláznit při sestavování rozsáhlých obchodních a výrobních plánů. Usiluje o dosažení dokonalosti ve výzkumu a programování.
Prof. RNDr.
CSc.
Učí předměty, které se zabývají zpracováním jazyka na počítači, například Formální jazyky a překladače. Na jeho stylu výuky se odráží bohaté pedagogické zkušenosti ze zahraničí. Při výkladu se snaží skloubit japonský smysl pro přesnost, americký důraz na praxi a evropskou tendenci objasňovat látku v kontextu vědeckých poznatků.
Doc. Mgr.
Ph.D.
Učí předmět Složitost a podílí se na výuce předmětů Teoretická informatika a Petriho sítě. V rámci svého výzkumu se zajímá o možnosti reprezentace nekonečných množin grafů. Dále se pak zajímá o možnost automatizovaného zjišťování složitosti programů.