13000 / 13136 - Department of Computer Science

Projects Supported by Grants 2025

Herel, D.: Novel machine learning methods for understanding natural language

2023 - 2025, SGS23/183/OHK3/3T/13

Med, J.: Action Reversibility in Formal Systems and Its Applications

2024 - 2026, SGS24/140/OHK3/3T/13

Šír, G.: Relational machine learning and bioinformatics

2023 - 2025, SGS23/184/OHK3/3T/13

13136 / 13140 - Common infrastructure of the department of Computer Science

Projects Supported by Grants 2025

Šíp, J.: V4+WB RMA Network Plus

2023 - 2025,

13136 / 13141 - Artificial Intelligence Center

Projects Supported by Grants 2025

Faigl, J.: Automated system for critical infrastructure protection using cyber-physical technologies

2023 - 2025, VK01030216

Faigl, J.: Center for advanced machines and manufacturing technology

2023 - 2028, TN02000028

Faigl, J.: Situation Awareness Sharing in Human-Machine Interaction using Resilient Communication in Robotics Telemetry

2024 - 2026, LUABA24064

García, S.: AiDojo: Game-based testbed for rapid development of AI-driven cybersecurity

2022 - 2025, VJ02010020

García, S.: DNS4EU and European DNS Shield

2023 - 2025, 101095329

Horčík, R.: Computing and Approximating Equilibria in Games With Complex Strategy Spaces

2024 - 2026, GA24-12046S

Krajník, T.: RoboRoyale: ROBOtic Replicants for Optimizing the Yield by Augmenting Living Ecosystems

2021 - 2026, 964492

Krajník, T.: Sensorbees are ENhanced Self-ORganizing Bio-hybrids for Ecological and Environmental Surveillance

2023 - 2028, 101130325

Král, L.: Support for increasing the impact, innovation and sustainability of CEDMO in the Czech Republic

2022 - 2025, Z220312000000

Král, L.: Newsroom AI: public service in the era of automated journalism

2023 - 2026, TQ01000100

Král, L.: Domain service of large AI language models using GPT upskilling

2024 - 2025, FW10010200

Král, L.: Applied Legal Language Model and Benchmarks for Legal Practice

2024 - 2026, FW11020230

Kroupa, T.: New Models of Trust and Voting Robustness in Large Multiagent Systems

2025 - 2027, GA25-17221S

Lisý, V.: Advancing Large Language Model Agents through Game Playing

2025 - 2027, GA25-18353S

Mareček, J.: Human-Compatible Artificial Intelligence with Guarantees

2022 - 2026, 101070568

Mareček, J.: COMBATTING DIET RELATED NON-COMMUNICABLE DISEASE THROUGH ENHANCED SURVEILLANCE

2022 - 2026, 101084642

Mareček, J.: Learning Models of Quantum Systems as a Non-Commutative Polynomial Optimization Problem

2023 - 2025, GA23-07947S

Mareček, J.: Tensor modEliNg, geOmetRy and optimiSation

2023 - 2025,

Pačes, P.: A Residue Detector

2024 - 2026, VB02000079

Vokřínek, J.: Evaluating the behaviour of automated vehicles in terms of compliance with ethical and legal principles in mixed traffic

2023 - 2025, CK04000150

13136 / 13143 - Intelligent Data Analysis

Projects Supported by Grants 2025

Kuželka, O.: Statistical Relational Learning in Dynamic Domains

2023 - 2025, GA23-07299S

Kuželka, O.: The Automatic Combinatorialist

2024 - 2026, GA24-11820S

Kuželka, O.: Towards Scalable Algorithms for Neuro-Symbolic AI

2024 - 2026, CELSA

Železný, F.: Trustworthy Planning and Scheduling with Learning and Explanations

2023 - 2026, 101119242

Železný, F.: Relational Reinforcement Learning for Science Acceleration

2024 - 2026, GA24-11664S

13136 / 13144 - System Testing IntelLigent Lab

Projects Supported by Grants 2025

Bureš, M.: Augmented Reality for Remote Biomonitoring and Rescue Missions in CBRN situations

2024 - 2026, VB02000036

Bureš, M.: DeepMBT: New Generation of Model-based Software Testing Using Artificial Intelligence

2024 - 2026, LUABA24101