Aktuality

Již tradičně se první víkend v listopadu na Fakultě informačních technologií koná konference OpenAlt. Propojuje svět open source, témata ze software, hardware, zpracování dat a počítačové bezpečnosti, ale také témata otevřených dat ve státní správě a soukromém sektoru či otevřeného přístupu k vědeckým informacím.
Více informací najdete na www.openalt.cz.

Jak zefektivnit automatovou technologii dostatečně tak, aby se množství teoreticky známých aplikačních příležitostí pro konečné automaty mohlo realizovat v praxi? Hledání nových způsobů se bude věnovat výzkumná skupina VeriFIT, Lukáš Holík na to získal grant z programu ERC CZ na dalších pět let. V tomto národním prestižním programu podpory výzkumu, experimentálního vývoje a inovací jsou financovány projekty, které nebyly na evropské úrovni podpořeny z důvodu nedostatku alokace evropské výzvy. V proběhlé soutěži bylo vybráno jen sedm projektů za celou ČR,  jediný za VUT je právě z FIT. Projekt se týká výzkumu technologie pro efektivní práci s konečnými automaty, v aplikacích jako verifikace a analýza bezpečnosti webových aplikací a programů manipulujících s řetězci, programů s ukazatelovými datovými strukturami, v inspekci síťového provozu nebo ve vyhledávání vzorů.

Nenechte si ujít zajímavé akce ve studentském klubu U Kachničky. Už zítra vás tam čeká halloweenský večer s únikovou hrou. Více informací najdete ZDE.

Zimní semestr nabídne U Kachničky ale i další akce - např. kurz první pomoci, fantasy quiz, deskovky, hudební večer či dance party. Seznam akcí najdete ZDE nebo na discordu v kanále #su-fit-akce.

Studentský klub U Kachničky je studentům otevřen vždy v pondělky a středy. Najdete jej v R212 (nad menzou).