CTU is involved in cutting-edge research funded by the European Research Council (ERC) under the
Horizon Europe, Pillar 1 Excellent Science programme, so far 2 projects:
Název projektu:
Reproducible Data Analysis for All (R4R)
Program: ERC Proof of Concept, Horizont Evropa
Řešitel: prof. Jan Vitek, MSc., Ph.D.
Rozpočet: € 150 000
Název projektu:
Federated foundational models for embodied perception (FRONTIER)
Program: ERC Advanced Grant, Horizont Evropa
Řešitel: Dr. Ing. Josef Šivic
Období: 2024 - 2028
Rozpočet: € 2 450 000
Webový odkaz:
https://www.ciirc.cvut.cz/cs/josef-sivic-awarded-a-prestigious-erc-advanced-grant/
Projekt nazvaný FRONTIER bude vyvíjet novou generaci velkých neuronových modelů pro stroje, které fungují v dynamickém 3D světě a interagují s okolním prostředím. Dalším cílem výzkumu je navrhnout nové algoritmy, které umožní učení složitých vícekrokových úkolů jen z několika málo příkladů. Tedy podobně, jako se umí učit člověk. Nejambicióznějším cílem je vyvinout algoritmy, které by umožňovaly strojům navzájem sdílet nabyté zkušenosti a tím se lépe a rychleji naučit fungovat s okolním světem.
Průlomový pokrok v těchto problémech by měl velký dopad na náš každodenní život a ekonomiku. Výstupy z tohoto výzkumu by například mohly vést k bezpečnějším automobilům, které navzájem sdílejí své zkušenosti, inteligentním výrobním linkám, které se společně přizpůsobují novým pracovním postupům, nebo k nové generaci inteligentních asistenčních robotů, které se automaticky učí novým dovednostem z internetu a jeden od druhého.
V rámci
Horizont 2020 realizovalo ČVUT tyto dva projekty:
Název projektu:
Artificial Intelligence for Large-Scale Computer-Assisted Reasoning (AI4REASON)
Program: ERC Consolidator Grant, Horizont 2020
Řešitel: Mgr. Josef Urban, Ph.D.
Období: 2015-2020
Rozpočet: € 1 499 500 EUR
Webový odkaz:
http://ai4reason.org/
Projekt se zaměřil na velmi obtížný problém v oblasti umělé inteligence a automatizace uvažování, konkrétně na problém automatického dokazování tvrzení v rozsáhlých a složitých teoriích.
Výsledkem projektu bylo vyvinutí takových průlomových metod, které zvýšily výkonnost dokazování tvrzení nad rozsáhlými teoriemi o 40-70 % ve srovnání se stavem před projektem. Otevřel také řadu nových směrů výzkumu v oblasti umělé inteligence a argumentace a pomohl vytvořit širší výzkumnou komunitu kolem těchto témat.
Název projektu:
Evolving Language Ecosystems (ELE)
Program: ERC Advanced Grant, Horizont 2020
Řešitel: prof. Jan Vitek, MSc., Ph.D.
Období: 2016 – 2022
Rozpočet: € 3 234 000
Projekt ELE studoval základní principy evoluce programovacího jazyka a vyvinul praktické nástroje a technologie pro podporu evoluce kompletních ekosystémů. Výzkum probíhal ve dvou hlavních osách. První osou je jazyková dynamika, kde se do již existujícího jazyka přidávají nové funkce a nové schopnosti. To vyžaduje změnu specifikace jazyka, jeho sémantiky a implementace jazyka, kompilátor a interpret, který spouští kód napsaný v jazyce, a také runtime knihovny, které poskytují základní funkce. Druhou osou evoluce je statika jazyka, kde jsou přidávána nová pravidla pro posílení nových programovacích disciplín a kde jsou stávající artefakty kódu přizpůsobeny nové sémantice. Tyto osy nejsou zcela nesouvislé, protože statická omezení, jako je systém nového typu, mohou mít zpětnou vazbu do implementace poskytováním informací o chování, které může kompilátor využít.