Aktuality

Vyhlašujeme výběrové řízení na letní školu typu BIP, která proběhne fyzicky od 10. do 14. července 2023 ve Finsku na Lappeenranta University of Technology. Název letní školy je BIP: Basics of System Control: From A till.  V květnu 2023 proběhne virtuální část této letní školy, termín bude upřesněn. Letní škola bude financována z programu Erasmus+. 

Pro více informací ohledně virtuální části kontaktujte prosím Michaelu Veselou - vesela.m@vutbr.cz.

Detailnější informace o LŠ naleznete na tomto webu.

Letošní ročník Excel@FIT se koná ve čtvrtek 4. 5. 2023 a po několika letech proběhne opět prezenčně jako samostatná celodenní konference. Přijďte se podívat na přehlídku prací a prezentace těch nejlepších vybraných. A že letos je konkurence opravdu veliká, přihlásilo se rekordně přes 80 studentů a studentek se svými nápaditými projekty. Celé odpoledne můžete sami hlasovat a zvolit ty nejlepší. Bude také prostor setkat se s našimi firemními partnery i výzkumnými skupinami z FIT. Program začíná v 8:50.

Detailní info o konferenci i program naleznete na tomto odkazu. 

Ve čtvrtek 4. 5. se těšíme na viděnou v areálu naší fakulty.

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