Nabídka programů

Matematické metody v informačních
technologiích

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ů.

Tento program zajišťuje Ústav inteligentních systémů.

E-přihláška

Lákají nás matematické kořeny informačních technologií

  • 79

    studentů získá zkušenosti z praxe

  • 99

    studentů úspěšně složí státní závěrečnou zkoušku

  • 99

    absolventů najde do 3 měsíců práci

  • 32734

    je průměrný nástupní plat absolventů

1. ročník

V 1. ročníku si kromě Teoretické informatiky a Matematických struktur volíte předměty sami. V rámci nich se seznámíte s řadou oblastí informačních technologií s vazbami na matematiku: s metodami formální analýzy a verifikace, teorie her, optimalizace, Petriho sítí, kryptografie, simulačních nástrojů a technik atd.

Povinné předměty

Volitelné předměty

libovolný ročník

2. ročník

Všechny své vědomosti předají
a v těžkých chvílích vás podrží

prof. RNDr.

Milan Češka

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. RNDr.

Milan Češka

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. “

doc. Mgr.

Lukáš Holík

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ů.“

doc. Mgr.

Adam Rogalewicz

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ů.“

prof. Ing.

Tomáš Vojnar

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.“

Ing.

Martin Hrubý

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.

Alexandr Meduna

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ů. “

Předchozí Následující

Čím se zrovna bavíme?

Pojďte na FIT!

Jak se dostat na FIT

Další navazující magisterské
programy na FITu

Všechny programy