Ing. Matúš Olekšák

Projekty

Inteligentní, bezpečné a spolehlivé vestavné systémy

Program
Studentská grantová soutěž ČVUT
Období
2026 - 2028
Popis
Projekt je z oblasti návrhu, verifikace a využití vestavných systémů. Vychází z výsledků minulého projektu zaměřeného zejména na studium nejnovějších trendů v technologiích a s praktickým využitím umělé inteligence i v kritických řídících aplikacích. V tomto projektu se zaměříme na výzkum v oblasti moderních metod návrhu zejména s využitím modelů, které musí efektivně a realisticky popsat různé požadavky podle cílové aplikace, tzn. nejen funkčnost, ale i spolehlivost, bezpečnost, odolnost proti útokům, velikost, spotřebu a real-timové garance potřebné např. v oblasti automotive. Zaměříme se i na kalibraci těchto modelů na základě realizovaných experimentů na bázi FPGA i specializovaných ASIP čipů. Cílem je nejen navrhovat, ale predikovat, garantovat a verifikovat požadovanou funkčnost a chování systémů využívajících stále rychleji se rozvíjející technologie.

Návrh, programování a verifikace inteligentních vestavných systémů

Období
2023 - 2025
Popis
Projekt se zabývá číslicovým návrhem zaměřeným na tzv. inteligentní vestavné systémy. Zaměřuje se na studium nejnovějších trendů v technologiích a jejich využití zejména v tzv. "mission-critical" aplikacích, kde využívá umělou inteligenci (např. neuronové sítě) a aproximativní výpočty. Návrh takových systémů musí zohledňovat požadavky nejen na funkčnost, ale i na další omezující podmínky: spolehlivost, bezpečnost, odolnost proti útokům, velikost, spotřebu a real-timové garance. Proto budeme využívat nové metody, algoritmy a návrhové prostředky (EDA tools) a hledat, navrhovat a upravovat vhodné modely, které umožní testovat, predikovat i formálně verifikovat požadované funkce a chování systému.

PhD workshop "Buď embedded FIT!"

Program
Studentská vědecká konference ČVUT
Období
2026
Popis
Studenti doktorského studia katedry číslicového návrhu FIT za podpory svých školitelů se rozhodli opět uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním problémům, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Téma embedded systémů v sobě zahrnuje mnoho výzev v oblasti computer science: kritické aplikace (v dopravě, ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na větší vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, a jiné. Současný svět informatiky je propojený a cílem této akce je spojovat studenty a jejich aktivity tak, aby prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým, a hlavně disertabilním výstupům. Touto konferencí chceme navázat na předchozí úspěšné ročníky (2023-2025) a zároveň dříve pořádanou doktorskou konferenci na fakultě, která však byla povinná a nebyla výjezdní (byla však také podporovaná interním grantem SVK). Chceme umožnit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři této konference jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně studenti doktorského studia, kteří budou zaštiťovat samotnou akci, případně předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu, je velmi vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň poskytnutí velkého prostoru pro diskuse o aktuálních (třeba i rozpracovaných) výzkumných výsledcích i real

PhD workshop "Buď embeded FIT!"

Program
Studentská vědecká konference ČVUT
Období
2023
Popis
PhD studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem naší nové akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům. Chceme navázat na dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu je vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu a aplikaci vestavných systémů, a to k jejich realizaci, verifi

PhD workshop "Buď embeded FIT!"

Program
Studentská vědecká konference ČVUT
Období
2024
Popis
Doktorští studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem této akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům. Touto konferencí chceme navázat na minulý ročník (2023) a také dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři konference jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou zaštiťovat akci, případně předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu je velmi vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v oblasti, kt

PhD workshop "Buď embeded FIT!"

Program
Studentská vědecká konference ČVUT
Období
2025
Popis
Doktorští studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem této akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům. Touto konferencí chceme navázat na minulé ročníky (2023 a 2024) a také dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři konference jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou zaštiťovat akci, případně předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu, je velmi vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v ob