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.

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).

2025 - 2026

CROP Postdoctoral Fellowship Programme will launch 3 Calls for recruitment for 30 incoming postdocs during its 4 years’ running, covering 30 research topics. Based on these topics, candidates will be asked to submit their CV and individual research projects during the application phase, for which they will be evaluated and selected. For the evaluation and selection phases CROP will fully adhere to the principles of the European Charter and Code for Researchers by adopting a full transparent and merit-based selection procedures, also entailing the use in the overall selection process of international and independent reviewers coming from the academic and non-academic sector. HR management within this project will be used as an example of good practice for the whole university, starting from the recruitment process and selection of the candidates by an independent competent selection committee with participation of external experts. Each postdoc will undergo obligatory secondment of typically 5 months (minimum 3 months) in one of the 30 European and global Associated partners - foreign universities or organisations offering intersectoral and/or interdisciplinary research and training experience complementary to the activities offered by CTU.

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.