Matematické metody 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, teorie her, nebo 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ů.
1. ročník
Společný základ programu
Společný základ programu tvoří předměty, které Vám dají znalosti důležité pro všechny inženýry v IT:
- Architektury výpočetních systémů Vás naučí uvažovat o tom, jak Váš kód poběží na moderních výpočetních platformách, jak myslet při programování tak, abyste využili zdrojů co nejefektivněji, tj. aby Vaše aplikace využila co nejlépe výkonu moderních platforem, efektivně využila paměťové prostředky systému a byla také efektivní, pokud jde o spotřebovanou energii.
- Funkcionální a logické programování Vás naučí, že ač je klasické imperativní programování velmi široce užívaným paradigmatem a má velmi blízko k implementaci na strojové úrovni, existují i jiné přístupy, které Vám přinesou nový pohled na některé klíčové problémy a pomohou získat jejich neotřelá a často efektivnější řešení.
- Moderní trendy informatiky (v angličtině) potřebujete znát, abyste viděli, kam se vyvíjí obor a co lze za pár let očekávat v praxi.
- Paralelní a distribuované algoritmy je předmět, který Vám ukáže zákonitosti, limity a úskalí paralelních a distribuovaných algoritmických řešení a s tím spojených synchronizačních mechanismů, bez nichž při řešení řady komplexnějších problémů stěží uspějete.
- Statistika a pravděpodobnost je pravou rukou každého inženýra, zpracovat číselné výsledky experimentů nebo data získaná při běhu Vaší aplikace, analyzovat je a získat z nich poučení pro další rozhodnutí je téměř jeho denním chlebem.
- Teoretická informatika ukazuje hranice možností informatiky přes formální jazyky a matematické modely výpočtu. Jen tak dokážete porozumět tomu, jestli Váš problém je vůbec řešitelný a pokud ano, s jakými zdroji a jakými prostředky to lze dokázat.
- Ukládání a příprava dat, zejména těch velkých, a získávání znalostí z nich, je umění užitečné pro každého informatika. Je to jeden z klíčových aspektů, které silně ovlivňují efektivitu mnohých řešení a aplikací.
- Umělá inteligence a strojové učení je předmět, kde poznáte, jak naučit počítače rozumět našemu světu a přinutit je řešit problémy, které jsou pro člověka sice snadné, ale pro algoritmický stroj těžko zvládnutelné.
Všechny své vědomosti předají
a v těžkých chvílích vás podrží
Doc. Mgr.
Rogalewicz Adam
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ů.
Doc. RNDr.
Češka Milan
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.
Češka Milan
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.
Holík Lukáš
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.
Hrubý Martin
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.
Meduna Alexander
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ů.
Prof. Ing.
Vojnar Tomáš
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.
Čím se zrovna bavíme?
-
Technologie vyvíjená na FIT VUT v rámci projektu TENACITy (Travel Intelligence Against Crime and Terrorism) pomáhá bezpečnostním složkám v Evropské unii při bezpečném předávání informací o pasažérech cestujících přes mezinárodní letiště. …
-
Nákladní auta a autobusy vybaví nanoradary a senzory, které zvýší bezpečnost. Na jejich vývoji se podíleli výzkumníci z FIT VUT
Řidiči nákladních aut mívají o bezprostředním okolí vozu špatný přehled - slepé úhly jim pokrývají nejen oblast před vozem a za ním, ale i po bočních stranách. Od července 2024 proto musí být podle nařízení Evropské komise součástí nákladních vozů a autobusů bezpečnostní senzory, které dokáží detekovat motorkáře, cyklisty či další zranitelné účastníky provozu. …
Pojďte na FIT!
Další magisterské
specializace
-
Bioinformatika a biocomputing
-
Informační systémy a databáze
-
Inteligentní systémy
-
Inteligentní zařízení
-
Kyberfyzikální systémy
-
Kybernetická bezpečnost
-
Matematické metody
-
Počítačová grafika a interakce
-
Počítačové sítě
-
Počítačové vidění
-
Softwarové inženýrství
-
Strojové učení
-
Superpočítání
-
Verifikace a testování software
-
Vestavěné systémy
-
Vývoj aplikací
-
Zpracování zvuku, řeči a přirozeného jazyka