Projekty

2023 - 2025

Projekt se zaměřuje na širokou oblast základního výzkumu algoritmů, konceptů a technik ve znalostním inženýrství. Jedná se o perspektivní a neustále se rozšiřující oblast jak z hlediska teoretického výzkumu, tak z hlediska potenciálu pro praktické aplikace. Zároveň oblast působení projektu zažívá extrémní nárůst komplexity vzhledem k množství dat a diverzity technik, které se snaží s tímto trendem vypořádat. Ústředním zájmem projektu budou konkrétně metody ve zpracování dat, vytěžování informačně obsažných údajů z dat a automatické hledání vysvětlení pro jevy, které se v datech vyskytují. Palčivým problémem současné umělé inteligence zaměřené na zpracování znalostí je omezená schopnost či neschopnost podat vysvětlení vedoucí k určitému rozhodnutí. U rozhodnutí se tak často nelze dopátrat jeho původu, což ztěžuje ladění a snižuje důvěryhodnost systému. Celým projektem naskrz všechna dílčí témata tedy bude tato otázka reflektována. Jedná se o doktorský projekt zastřešující pestré výzkumné zájmy členů doktorandů, avšak poskytující obecnou nosnou otázku, která se prolíná napříč dílčími tématy. Projekt speciálně hodlá rozvíjet algoritmy a techniky v neuronových sítích, evolučních algoritmech, zpracování obrazu a textu a zpracování pohybové informace, a sice od základní teorie po praktické aplikace. Projekt bezprostředně navazuje na končící projekt SGS z moderních algoritmických technik pro znalostní inženýrství.

2023 - 2026

CIH will significantly support digital transformation and application of innovation in SMEs and public administration by building a coordinated and effective ecosystem comprising top research institutions with the necessary know-how and infrastructure, specialized business clusters, professional organizations, and public authorities. This robust ecosystem will provide its beneficiaries with access to education and information on cybersecurity trends and best practices, to expert advice and state-of-the-art infrastructures to verify the suitability and security of innovative solutions under consideration and increase the availability of funds to invest in innovation. CIH will also function as a platform for cooperation and information sharing between entities in the cybersecurity market, both at the level of Czechia and the EU. This will increase the efficiency and competitiveness of the EU cybersecurity industry, the security of IT infrastructures and the strength of the EU economy.

2023 - 2026

Projekt ELIXIR CZ, Česká národní infrastruktura pro biologická data, je zaměřen na zpracování, uchovávání, sdílení a analýzu dat v oblasti věd o živé přírodě. Cílem projektu je zajistit, aby data generovaná ostatními infrastrukturami splňovala kritéria FAIR – findable, accessible, interoperable and reusable, nutná k jejich plnému využití. Infrastruktura ELIXIR CZ je založena na expertní části zajišťované unikátním know-how špičkových odborníků z oblasti bioinformatiky, genomiky, biologie, medicíny, informatiky a počítačového inženýrství a na technické části spočívající v heterogenním souboru hardware a software prostředků a specifických architektur podle povahy zpracovávaných dat. Toto unikátní technické řešení je naplňováno především přímým zapojením e-infrastruktur zodpovědných za pokročilá IT řešení, budování datových úložišť, přístup k datům a výpočetním kapacitám. Cílem infrastruktury ELIXIR CZ je provozování pokročilých bioinformatických nástrojů, unikátních a zároveň interoperabilních datových zdrojů pro všechna odvětví současné biologie, školení odborníků a řešení pro dedikaci výpočetních prostředků a jejich specifických technických parametrů podle potřeb uživatelské komunity. Základním prvkem pro přístup a sdílení dat jsou nástroje pro autorizaci a autentizaci uživatelů, které umožňují přístup k datovým zdrojům a nástrojům. Jde většinou o vysoce rozvinuté metody, které jsou na základě schopnosti identifikovat uživatele používány pro přístup k datovým zdrojům včetně těch, které se týkají vysoce citlivých dat. Obecně představuje toto řešení technologii použitelnou ve všech disciplínách pracujících se sdílenými daty napříč vědami o živé přírodě a v podstatě i mimo ni. ELIXIR CZ se výrazně profiluje v oblasti správy dat (Data Management), a to od úrovně uživatelů po úroveň administrátorů vědeckých projektů. Koncepce a nástroje v této oblasti jsou aplikovatelné na řešení procesů od generování dat po jejich archivaci a využitelnost.

2023 - 2025

V souladu s výzvou projekt umožní mezinárodní mobilitu výzkumným pracovníkům, kterým byl v minulých letech schválen projekt z akce Marie Skłodowska-Curie Individual Fellowships programů Horizont 2020 (výzva H2020–MSCA-IF–2020) a Horizont Evropa, ovšem z důvodů nedostatku financí byl zařazen do kategorie "no-money" projektů. Projekt bude realizován pracovními pobyty zahraničních výzkumných pracovníků v ČR. Hlavním cílem projektu je podpora profesního růstu výzkumných pracovníků, kvalitního výzkumu, vzdělávání pro praxi a rozvoje komunikace a spolupráce.

2023 - 2024

V souladu s výzvou projekt umožní mezinárodní mobilitu výzkumným pracovníkům, kterým byl v minulých letech schválen projekt z programu Marie Skłodowska-Curie Individual / Postdoctoral Fellowships, ovšem z důvodů nedostatku financí byl zařazen do kategorie tzv. no-money projektů. Projekt bude realizován pracovními pobyty zahraničních VP na ČVUT. Hlavním cílem projektu je podpora profesního růstu výzkumných pracovníků, kvalitního výzkumu, vzdělávání pro praxi a rozvoje komunikace a spolupráce. Na FIT se jedná o příjezdovou mobilitu na 24 měsíců pracovníka, Pierre Donat-Bouillud, s příspěvkem na rodinu, na Fakultu informačních technologií. Školitel je prof. Jan Vitek, MSc., Ph.D. V rámci této mobility na FIT je plánovaný 3 měsíční secondment v Rakousku, Paris Lodron University, Salzburg).

2023 - 2025

Umělá inteligence a strojové učení začíná zasahovat do mnoha aplikačních domén, kde zlepšuje automatizaci a využití velkého množství strojově zpracovatelných dat pro odvození nových informací. Přirozenou evolucí počítačových sítí dochází ke zvyšování složitosti a různorodosti infrastruktur a k masivnímu využívání šifrovaných protokolů. Tento trend komplikuje proces monitorování, neboť použití šifrování snižuje viditelnost do provozu. Navíc různorodost protokolů komplikuje zpracování provozu monitorovacími systémy. Na tyto nové vlastnosti síťového provozu je potřeba přizpůsobit a rozšířit existující nástroje pro monitorování a bezpečnostní analýzu a využití strojového učení k tomu může poskytnout technologie a postupy. V projektu plánujeme vyvíjet a využívat pokročilé nástroje pro vytváření IP toků obohacených o vektory příznaků a statistik pro strojové učení. Výsledné rozšířené IP toky plánujeme využít pro vytváření datových sad, klasifikaci provozu a detekci bezpečnostních hrozeb. Vyvíjené klasifikační a detekční algoritmy budou zkoumány mimo jiné z pohledu časových řad vytvořených ze síťového provozu. Důležitou součástí plánovaného výzkumu je analýza a automatické vyhodnocování vytvářených datových sad ze síťového provozu.

2023 - 2025

Navrhovaný projektu navazuje na předchozí výzkum a vývoj v oblasti paralelních a distribuovaných algoritmů pro řešení některých důležitých inženýrských problémů. Konkrétně se projekt zaměří: 1) na nejvyspělejší metody astronomie pro potřeby preprocessingu, ukládání, sdílení a analyzování petabytů dat, která tečou průběžně z astronomických instrumentů, 2) na metodologii a algoritmy pro systematické vyhodnocování formátů řídkých matic a tenzorů, které by umožnily komplexní pochopení jejich vlastností, 3) na paralelní a GPU akcelerované algoritmy pro rekonstrukci fyzikálních objektů ze zaznamenaných dat.

2023 - 2025

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.

2023

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

2023 - 2025

Projekt navazuje na výstupy předchozího SGS projektu stejného jména. Jako svůj rámcový cíl si klade pokračování v práci na perspektivních oblastech softwarového inženýrství. Oproti předchozímu projektu dochází v důsledku změn v řešitelském týmu a s pokrokem ve zkoumaných oblastech ke změnám v primárních zkoumaných oblastech. Tento rok se proto zaměříme především na následující oblasti:

2023

Studentská vědecká konference POSTER 2023 je pětadvacátým ročníkem konference, která si jako svá témata vybrala kompletní průřez elektrotechnikou a informatikou rozšířený o související problematiku přírodních věd, biomedicínského inženýrství a historie vědy a techniky. Cílem konference je vytvořit fórum pro publikace doktorandů a magisterských studentů, na němž mohou získat první zkušenosti s vytvořením a obhajobou svých příspěvků. Jednacím jazykem je angličtina. Konference je otevřená zahraničním účastníkům, kterých bývá pravidelně přes dvacet procent, takže stimuluje zkušenosti doktorandů s publikací na mezinárodním fóru. Na závěr konference jsou vyhodnocovány nejlepší prezentace v jednotlivých sekcích, čímž se daří využít přirozené soutěživosti mladých ke zlepšení kvality jejich písemných projevů i obhajoby posterů před návštěvníky, kterými jsou i členové hodnotících (programových) výborů. Konference se běžně účastní doktorandi FEL, FBMI a FIT. Těmito fakultami byla také spolupořádána v předcházejících letech a de facto bude takto pořádána i letos (i když to aplikace pro podání přihlášek nepodporuje). Seznam sekcí, informaci o programovém výboru a další informace lze získat na www stránce konference http://radio.feld.cvut.cz/conf/poster/.

2023

Prague Embedded Systems Workshop (PESW 2023) bude již jedenáctým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) z České republiky, EU i mimo EU. Hlavní náplní a cílem jsou ústní prezentace a 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, verifikaci, syntéze, testovatelnosti a bezpečnosti. Ohlasy všech minulých ročníků byly a jsou jednoznačně kladné, přestože jsme v dobách covidových umožnili prezentovat některé příspěvky on-line, je akce přednostně organizovaná živě, protože hlavním cílem je vzájemná komunikace a navázání mezinárodní spolupráce. Hlavním organizátorem je katedra číslicového návrhu FITu, zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně studenti, kteří pracují na svých doktorských, diplomových nebo bakalářských pracích. Se svými dílčími i finálními výsledky se mohou na PESW pochlubit v mezinárodním měřítku, a to buď formou ústní prezentace nebo na posterové soutěži, viz níže. Každý ročník aktualizujeme mezinárodní programový výbor, získáváme významné odborníky a jejich studenty. Akce nabývá stále větší prestiže i v mezinárodním měřítku. Počítáme opět s účastí zástupců z universit (Tel Aviv - Izrael, Leicester - UK, Montpellier, Lyon, Grenoble - Francie, Řím, Pavia - Itálie, Leuven - Belgie, Zelená Gora - Polsko, Talinn - Estonsko, San Diego - US, FIIT Bratislava - Slovensko, VUT, ZČU a i další university z Česka) i firem (např. EaToN, ASICentrum, CESNET, Intel, STMicroelectronics aj.). Počítáme samozřejmě s účastí studentů z ČVUT, z FELu, FITu, FJFI, FD a pracujeme na propagaci pro získání studentů a odborníků z dalších pracovišť z ČR i SR. Podařilo se nám domluvit partnerství s prestižní akcí 28th IEEE European Test Symposium 2023 (https://cas.polito.it/ETS23/#/).

2023 - 2027

The RiGiD project lays the groundwork for this research programme and aims to develop a methodology for rigorous engineering of data analysis pipelines that can be adopted in practice. Our approach is pragmatic. Rather than chasing functional correctness, we hope to substantially reduce the incidence of errors in the wild. The research is structured in three overlapping chapters. First, identify the problem by carrying out user studies and large-scale program analysis of a corpus of over 100,000 data science pipelines. The outcome will be a catalog of error patterns as well as a labeled dataset to be shared with other researchers. The technical advances will focus on combining dynamic and static program analysis to approximate the behavior of partial programs and programs written in highly dynamic languages. The second part of our effort proposes a methodology and tooling for developing data sciences codes with reduced error rates. The technical contributions of this part of the project focus on lightweight specification techniques and, in particular, the development of a novel gradual typing system that deals with common programming idioms found in our corpus. This includes various forms of object orientation, data frames, and rich value specifications. These specifications are complemented with an automated test generation technique that combines test and input synthesis with fuzzing and test minimization. Finally, the execution environment is extended to support automatic reproducibility and result audits through data lineage. The third and last part of the work evaluates the proposal by conducting user studies and developing tools for automating deployment. The contribution will be a qualitative and quantitative assessment of the RiGiD methodology and tooling. The technical contribution will be tools that leverage program analysis to infer approximate specifications to assist deployment and adoption. Our tools target R, a language for data analytics with 2 milli

2023 - 2025

Projekt má tři hlavní cíle. První cíl spočívá ve výzkumu v oblasti detekce malware pomocí strojového učení. Jedná se o řešení problémů klasifikace malware a také vytváření a obrana vůči adversariálním vzorkům. Druhý cíl patří do oblasti kryptoanalýzy šifer pomocí postranních kanálů. Výzkum bude zaměřen na šifry, které se dostaly do finále soutěže o post-kvantovou šifru, kterou pořádá NIST. Posledním cílem bude systematicky popsat blockery a bariéry v nasazování a používání kryptografických nástrojů.

2023 - 2027

The project will be focused on several fundamental problems in discrete and computational geometry, and their surrounding (sub)areas.

2023 - 2027

Cílem projektu je vyrobit virtuální model dnes neexistujících, či změněných lokací v historické části města Most. Jako zdrojový materiál poslouží převážně historické kresby a fotky, které budou augmenotvány, opraveny, kolorovány a poslouží k vytvoření 3D modelů pro virtuální realitu dostupnou jak přes webové rozhraní, tak VR headsety.

2023

Cílem konference STIGMA je poskytnout studentům a mladým vědeckým pracovníkům prostor pro prezentaci jejich vědecké práce a činnosti mezi sebou, příležitost naučit se novým technikám a postupům z aktuálních vědeckých výsledků, nabídnout čas, ve kterém mohou účastníci řešit otevřené problémy, a v neposlední řadě též příležitost navázat mezi sebou kontakty. Během dne proběhne několik přednáškových bloků. Zbývající čas je vyhrazen na řešení problémů a diskuze. Doktorandi a studenti přednesou přednášky týkající se buďto jejich vlastního výzkumu, nebo aktuálního vědeckého výsledku zapadajícího do tématiky konference. Mladí vědečtí pracovníci přednesou přednášky, které budou mít za cíl inspirovat studenty k budoucímu výzkumu a nabídnou tak vhodné problémy k řešení. Tématicky je konference vymezena na tyto oblasti: - teoretická informatika - diskrétní matematika - teorie grafů - výpočetní složitost a algoritmy - datové struktury Konference je určena především pro doktorandy a studenty ČVUT, kteří na ní budou mít přednášku.

2023

Konference je tradičně pořádána jako setkání studentů Fakulty jaderné a fyzikálně inženýrské, ČVUT v Praze, které je věnováno problematice vědeckotechnických výpočtů. Tématicky je konference zaměřena zejména na interdisciplinární propojení numerického řešení parciálních diferenciálních rovnic a počítačových metod zpracování dat s velkou aplikační šíří. Přednášky budou zaměřeny na matematické modelování, numerické simulace, analýzu stability, chybu aproximací, statistickou analýzu, paralelní implementaci algoritmů, analýzu časové náročnosti, optimalizaci a strojové učení. Prezentované výsledky se budou týkat ekologie, biologie, medicíny, ekonometrie a průmyslových aplikací. V rámci konference budou mít studenti možnost diskuse se zkušenějšími účastníky konference.

2023

Konference spolu s Rektorysovou soutěží navazuje na serii stejnojmenných soutěží pořádaných od roku 2007 Katedrou matematiky na Fakultě stavební ČVUT v Praze nebo na Fakultě jaderné a fyzikálně inženýrské ČVUT v Praze. Tyto soutěže byly pořádány každoročně a letošní ročník bude již 16. v pořadí. Zaměřením konference je aplikovaná matematika. Předpokládá se, že studenti přednesou práce zaměřené na oblasti propojující matematickou analýzu, numerickou matematiku, pravděpodobnost a matematickou statistiku a odborné předměty přírodovědného a technického zaměření. Hlavním cílem konference je umožnit studentům magisterských a doktorských programů školy prezentovat své práce vzniklé nad rámec běžného studia a seznámit se s výsledky ostatních studentů, čímž se podpoří aktivita nadaných studentů, jejich zájem o obor a spolupráce s odbornými pracovníky školy i mezi studenty samotnými. Konference se mohou zúčastnit i studenti jiných vysokých škol. Součástí konference je Rektorysova soutěž. Tato soutěž je určena pouze pro studenty ČVUT. Soutěžící pošlou své práce a abstrakty prací elektronicky v pdf formátu organizačnímu výboru konference tím, že je uloží v přihlašovacím portálu na webové stránce konference. Odborná porota práce posoudí a s přihlédnutím k prezentacím v rámci konference udělí ocenění autorům. Všechny práce budou odměněny.

2023 - 2025

Hlavním tématem navrhovaného grantu je teoretická informatika, výzkum diskrétních modelů a algoritmů. Zkoumáme složitost grafových a jiných problémů, herních mechanismů a kombinatorických her, navrhujeme efektivní algoritmy, studujeme stringologické problémy.