Aktuality

V rámci slavnostního večera konaného 22. března na brněnské radnici převzalo sedm doktorských studentů z Vysokého učení technického v Brně stipendijní šek pro svůj další výzkum v rámci programu Brno Ph.D. talent. Každý z nich získal stipendium ve výši 330 tisíc korun. Částka se jim bude průběžně vyplácet po další tři roky. Jedním z oceněných je i student Fakulty informačních technologií Tomáš Dacík.

"Do soutěže jsem se hlásil s projektem nazvaným Efektivní statická analýza programů s ukazateli. Chyby v programech s ukazateli se nejen těžko odhalují, ale mohou také vést k vážným bezpečnostním zranitelnostem například v internetových prohlížečích. Cílem mého projektu je navrhnout metody pro automatickou detekci takových chyb, případně dokazování jejich absence. Již ve své diplomové práci jsem se věnoval návrhu nových algoritmů pro práci se separační logikou - z pohledu matematiky se jedná o logiku popisující grafy, z pohledu programátora se jedná v podstatě o datovou strukturu, která dokáže efektivně reprezentovat nekonečné množiny paměťových konfigurací - což je potřeba právě při analýze ukazatelových programů. Ve svém projektu bych chtěl tyto algoritmy dále rozvíjet a posléze je využít buď v existujících, nebo nově vytvořených analyzátorech, vysvětluje Tomáš Dacík.

Jeho školitelem je profesor Tomáš Vojnar.  Na tématu dále spolupracuje s docentem Rogalewiczem z FIT a assoc. prof. Florianem Zulegerem z TU Vienna. S těmito odborníky spolupracoval již při tvorbě své diplomové práce, se skupinou VeriFIT dokonce již od doby své projektové praxe na bakalářském studiu. "Mohl jsem tak během několika let získat dobrý rozhled v oblasti verifikace programů. To mi mimo jiné pomohlo i v závěrečném kole soutěže, kde jsem svůj projekt prezentovat před komisí odborníků, odpovědět na někdy velmi záludné dotazy. Co mi také v soutěž pomohlo byla zahraniční zkušenost, kterou jsem získal, když jsem v rámci svého Erasmus pobytu na TU Munich spolupracoval se skupinou prof. Helmuta Seidla, která se také věnuje verifikaci programů. V neposlední řadě jsem ocenil, že jsem si na FIT mnohokrát vyzkoušel prezentovat svou práci a při prezentaci v PhD.talentu jsem díky tomu věděl, na co nejdůležitějšího se zaměřit," oceňuje Tomáš Dacík přínos svých dosavadních zkušeností.

O dalších oceněných i celém programu Brno Ph.D. talent se můžete dočíst zde.

foto: Jan Prokopius

Jde ze snímků mozku vyčíst, zda se u člověka rozvine deprese nebo ho postihne mrtvice? A můžeme se diagnostikovat doma na gauči pomocí mobilního telefonu? Na tyto a další otázky se už mnoho let ptá Aamir Malik, který se z Pákistánu postupně dostal až na brněnskou techniku. Na Fakultě informačních technologií vytváří algoritmy, které pomáhají zpracovávat obrazy našeho nejdůležitějšího orgánu, jemuž zatím ale vědci úplně nerozumí.

Celý článek si můžete přečíst na našem webu.

V rámci partnerského programu FIT proběhlo v únoru setkání zástupců partnerských firem a fakulty. Jedná se o jednu z mnoha akcí a aktivit, připravovaných každoročně za účelem podpory vzdělávání studentek a studentů fakulty.

Pozvání přijalo více než 35 kolegů ze 23 firem. Na programu byla inspirativní diskuze, v jejímž rámci se tříbily názory na otázku "Jaké odborné oblasti IT průmysl potřebuje, aby absolventi inženýři znali?". Velmi si vážíme cenných poznatků z praxe. V maximální možné míře budou využity ve vybraných předmětech k motivaci studentů.

V tomto období také řešíme s partnerskými firmami přípravy letních odborných stáží a témat bakalářských a diplomových projektů. Obě aktivity podporují získávání praktických zkušeností a poznatků studentů a současně mohou být příležitostí, jak získat zajímavé pracovní uplatnění po skončení studia.

Kolegové z HR i odborní pracovníci firem pověření spoluprací s VŠ navrhovali i řadu dalších možností spolupráce, které budou dále diskutovány a upřesňovány.

Více o naší spolupráci s firemním sektorem můžete dozvědět na webových stránkách.