Aktuality

Článek s názvem Chain-Free String Constraints, jehož autory jsou Lukáš Holík a Petr Janků z výzkumné skupiny VeriFIT, získal na prestižní konferenci ATVA'2019 v Tchaj-pej ocenění Best Paper Award. Práce přichází s algoritmem pro řešení systémů omezení nad řetězci, který se dá použít například k verifikaci programů manipulujících řetězce, jako jsou webové aplikace, nebo k verifikaci absence některých druhů bezpečnostních děr, jako je Cross Site Scripting. 

Na článek se můžete podívat ZDE.         

Shromáždění akademické obce, na kterém kandidáti na jmenování děkanem FIT VUT pro funkční období 2020 až 2024 představí svůj volební program a zodpoví dotazy členů akademické obce, proběhne ve středu 4. 12. 2019 v 16 hodin v místnosti D105.

Unikátní systém, který umožní mladoboleslavským pracovníkům technického vývoje snadno navrhovat různá uživatelská rozhraní, vyvinula ve spolupráci s automobilkou ŠKODA AUTO výzkumná skupina Aeroworks z Fakulty informačních technologií VUT v Brně.

"Díky systému, který jsme vytvořili, mohou pracovníci technického vývoje velmi snadno navrhnout, jak bude vypadat a co se bude objevovat nejen na palubní desce, ale také na modulu infotainmentu nebo head up display.  Vše se tak může snadno přizpůsobovat preferencím zákazníka," vysvětlil Peter Chudý z výzkumné skupiny Aeroworks.

Více informací se dozvíte ZDE.