Aktuality

Minulý týden měli naši výzkumníci zapojení do projektu VASSAL (financovaného z programu EU Twinning) příležitost navštívit TU Graz a uspořádat zde úvodní workshop s dedikovaným fórem v rámci konference Runtime Verification 2025. Fórum spojilo výzkumníky z projektu a širší komunitu runtime verifikace. Program workshopu zahrnoval zvané přednášky předních odborníků, prezentace výzkumníků  z FITu a vybrané příspěvky z komunity runtime verifikace. Za VUT přednesli své příspěvky Filip Macák, Milan Češka, David Chocholatý a Tomáš Dacík; projekt VASSAL představil Roderik Valko.

Do programu workshopu byl pozván Dr. Dejan Nicković (Austrian Institute of Technology), který je předním odborníkem v oblasti ověřování běhu a kyberfyzických systémů a ve svém výzkumu se zaměřuje na monitorování časových vlastností, návrh založený na smlouvách a systémy v reálném čase. Dalším pozvaným byl Wolfgang Ahrendt, profesor na Chalmers University of Technology v Göteborgu. Jeho vědecký přínos spočívá v deduktivní verifikaci softwaru, verifikaci za běhu a kombinacích statické verifikace s verifikací za běhu a testováním.

Sama účast na workshopu dokládá vědeckou excelenci našich kolegů, akce současně podpořila cennou výměnu zkušeností s mezinárodní komunitou. Hlavní organizátor workshopu Milan Češka akci hodnotil pozitivně: „Atmosféra workshopu byla uvolněná a přátelská, zároveň ale odborně na nejvyšší úrovni. V rámci projektu VASSAL nás velmi těší, že jsme mohli být součástí RV Graz 2025 a zorganizovat vlastní fórum. Během workshopu jsme měli možnost vyslechnout si inspirativní příspěvky našich doktorandů i kolegů z TU Wien a CEA. Nejvíce oceňuji, že program byl připraven tak, aby vytvářel prostor pro otevřené diskuse a hledání nových možností spolupráce.“ Diskuse během fóra ukázaly význam propojení teoretického pokroku s praktickými výzvami v oblasti verifikace. Pro samotný projekt VASSAL se událost stala milníkem v posilování vazeb mezi institucemi a ukázala roli projektu pro utváření budoucnosti spolehlivých a verifikovatelných systémů.

Ve čtvrtek odpoledne 30. října se na FIT znovu potkáme na tradiční konferenci Žijeme IT.

Čekají vás přednášky z praxe na aktuální a trendující IT témata, panelová diskuze s absolventkami a absolventy FIT, a také možnost setkat se s našimi partnerskými firmami a podívat se, na jakých projektech se dá během studia spolupracovat. Budete mít možnost si neformálně popovídat o všem, co vás zajímá. Podrobný program a registrace spustíme do konce září na webu zijemeit.cz.

Myslíte to s IT vážně? Konference Žijeme IT je akce, na které byste neměli chybět. Budeme se těšit na viděnou.

Další z výzkumných projektů naší fakulty získává možnost aplikace do medicínské praxe. Výzkumníci ze skupiny STRaDe ve spolupráci s lékaři z Kliniky nemocí plicních a tuberkulózy Fakultní nemocnice Brno pracují na vývoji nových metod pro diagnostiku a sledování onemocnění dýchacích cest a plic. 

Cílem týmu je vytvořit detailní modely vybraných úseků dýchacích cest a současně zkoumat možnosti jejich co nejefektivnějšího měření. Díky kombinaci těchto přístupů budou mít lékaři k dispozici nástroje, které jim umožní podstatně přesněji sledovat, jak se dýchací cesty v čase mění – ať už v důsledku přirozeného vývoje, nebo v souvislosti s onemocněním. Přednosta Kliniky nemocí plicních a tuberkulózy prof. Milan Sova k praktické využitelnosti výzkumu říká: „V rámci klinické praxe často řešíme situace, kdy například potřebujeme v reálném čase a v rámci endoskopického vyšetření vypočítat průměry průdušnice a průdušek. V současné době neexistují dostupná řešení, a díky spolupráci s FIT VUT se nám daří hledat nové cesty a vyvíjet metody, které v budoucnu pomohou našim pacientům.“ Při dotazu na konkrétní diagnózy, v jejichž případě je možné nové metody použít, vyjmenovává prof. Sova stenózy dýchacích cest nádorové i benigní etiologie.

Aby bylo možné těchto výsledků dosáhnout, využívají vědci  spektrum moderních technologií. Vedle osvědčených postupů počítačového vidění se opírají také o nejnovější metody strojového učení a umělé inteligence, které umožňují automatizovat analýzu obrazových dat. „Každý den se objevují nové možnosti v oblasti umělé inteligence a zpracování obrazu, jejich zavádění do praxe je však postupné. Naší snahou je tyto technologie co nejrychleji převádět do reálného prostředí a hledat jejich konkrétní využití ve zdravotnictví,“ shrnuje motivaci projektu hlavní výzkumník z FIT VUT, Tomáš Goldmann.