Mgr. Alena Tůmová, Ph.D.

2024 - 2026

The emerging theory of game comonads establishes a fruitful interplay between category theory, mathematical logic, and algorithms. This theory has shown its power when obtaining new Lovasz-type theorems, preservation theorems and decomposition theorems in finite model theory. In our recent work we show that the theory of game comonads can be leveraged to obtain the two traditional Courcelle theorems, stating FPT decidability of monadic second order logic on classes of bounded tree-width and clique-width. This result is only a first step in concrete algorithmic applications of the theory. The abstract setting of game comonads is a good candidate for a systematic treatment of algorithmic problems. The first objective of the project is to formulate a general theory of FPT decidability in terms of game comonads. To start with, we describe some of the important model-theoretic algorithms.

2025 - 2026

Postdoktorandský stipendijní program CROP vyhlásí během čtyř let svého trvání tři výzvy pro 30 nových postdoktorandů, kteří se budou zabývat 30 výzkumnými tématy. Na základě těchto témat budou uchazeči ve fázi podávání přihlášek vyzváni k předložení životopisu a jednotlivých výzkumných projektů, které budou vyhodnoceny a vybrány. Ve fázi hodnocení a výběru bude CROP plně dodržovat zásady Evropské charty a Kodexu výzkumných pracovníků tím, že zavede zcela transparentní výběrová řízení založená na zásluhách, což zahrnuje také využití mezinárodních a nezávislých hodnotitelů z akademického i neakademického sektoru v celkovém procesu výběru. Řízení lidských zdrojů v rámci tohoto projektu bude použito jako příklad dobré praxe pro celou univerzitu, počínaje procesem náboru a výběrem kandidátů nezávislou kompetentní výběrovou komisí za účasti externích odborníků. Každý postdok absolvuje povinnou stáž v délce zpravidla 5 měsíců (minimálně 3 měsíce) u jednoho z 30 evropských a světových přidružených partnerů - zahraničních univerzit nebo organizací, které nabízejí mezioborové a/nebo interdisciplinární zkušenosti v oblasti výzkumu a vzdělávání doplňující aktivity nabízené ČVUT.

2023 - 2025

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. CIH draws on partnerships and participation in international networks and builds on the success of Czech research and industry. CIH covers cybersecurity on the horizontal from various points of view (technical, legal, economic, social etc.), on the vertical CIH operates at all levels - it plays an important role in building the legislative environment, in research, commercialization and implementation of technologies, and in awareness raising and education. CIH also has links to standardization and certification that shape the cybersecurity market. This holistic approach and the ability to thoroughly map the ecosystem make CIH an attractive partner for international cooperation. This is also confirmed by its participation in 3 EU pilot research projects (Sparta, CyberSec4Europe and Concordia), cooperation with the EU and international organizations (ENISA, Europol, UN, NIST, etc.), and involvement in professional initiatives (e.g. REWIRE - capacity building in cybersecurity in the EU).

2023 - 2025

The EDIH CTU represents a major European Digital Innovation Hub in the Czech Republic in the field of Artificial Intelligence (AI) and Machine Learning (ML) transferring trustworthy solutions and services to the industry, health, transportation and energy sectors. The EDIH CTU, with its vision "Inspire & Make the Czech AI-driven Industry", aims to become the innovation and technology leader in providing professional AI/ML services for the local SMEs, small mid-caps and public sector organizations with respect to their digital and green transformation. The strong consortium partners representing academia, business sector and key associations of enterprises in the Czech Republic provide sufficient know-how, expertise and state-of-the-art experimental facilities to serve the needs of the public and private sector at the national and also international level. The major focus is on promoting digital transformation adoption, providing high-quality services, education and knowledge sharing, pursuing ecosystem development, and establishing strong inter-EDIH collaboration. The consortium builds upon already existing partnerships in AI and manufacturing enabling best practice sharing, expertise exchange, and joint activities seeking far-reaching synergies thus strengthening the far-reaching impacts of the European network of EDIHs.

2023 - 2025

The EDIH CTU represents a major European Digital Innovation Hub in the Czech Republic in the field of Artificial Intelligence (AI) and Machine Learning (ML) transferring trustworthy solutions and services to the industry, health, transportation and energy sectors. The EDIH CTU, with its vision "Inspire & Make the Czech AI-driven Industry", aims to become the innovation and technology leader in providing professional AI/ML services for the local SMEs, small mid-caps and public sector organizations with respect to their digital and green transformation. The strong consortium partners representing academia, business sector and key associations of enterprises in the Czech Republic provide sufficient know-how, expertise and state-of-the-art experimental facilities to serve the needs of the public and private sector at the national and also international level. The major focus is on promoting digital transformation adoption, providing high-quality services, education and knowledge sharing, pursuing ecosystem development, and establishing strong inter-EDIH collaboration. The consortium builds upon already existing partnerships in AI and manufacturing enabling best practice sharing, expertise exchange, and joint activities seeking far-reaching synergies thus strengthening the far-reaching impacts of the European network of EDIHs.

2024 - 2026

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 Horizont 2020 z programu Marie Skłodowska-Curie Individual / Postdoctoral Fellowships, jež dosáhl hodnocení alespoň 70 %, ale 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ů výzkumného pracovníka, Foivos Fioravantes Ph.D., z Francie. Školitel je doc. Ing. Dušan Knop, Ph.D.

2024 - 2028

Projekt NRP pro výzkumná data přímo reaguje na potřebu podpory implementace iniciativy EOSC v ČR vytvořením a pilotním provozem Národní repozitářové platformy jako klíčového prvku Národní datové infrastruktury, definované v koncepčním dokumentu „Architektura implementace iniciativy EOSC v ČR“ . Výzkumná komunita v ČR v současné době trpí vysokou roztříštěností výzkumných dat a absencí koncepce jejich správy. Iniciativa EOSC a podpora péče o data v souladu s FAIR principy si klade za cíl konsolidovat prostředí výzkumných dat a poskytnout zázemí, nástroje i postupy, které tomuto cíli napomohou. Projekt NRP pro výzkumná data se proto soustředí na realizaci klíčových komponent, které systémově přispějí k výraznému zlepšení současného stavu v oblasti správy výzkumných dat. Hlavní výstupy se tak soustředí na rozvoj architektury Národní datové infrastruktury (NDI) a specificky NRP jako její ústřední součásti (a to včetně náležitého zabezpečení a technické podpory), zprovoznění konkrétních platforem pro tvorbu repozitářů NRP, pilotní provoz vybraných repozitářů a „catch-all“ repozitáře, implementovaných v rámci NRP, zajištění funkčních vazeb mezi konkrétními repozitáři a systémem užívání PID, zajištění komponent pro napojení repozitářů na Národní metadatový adresář a zajištění podpory pro práci s licencemi, vývoj integrovaného řešení pro plánování správy dat, stejně tak jako vytvoření koordinované vzdělávací podpory pro efektivní využití NRP.