13000 / 13136 - Department of Computer Science

Projects Supported by Grants 2026

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

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

13136 / 13141 - Artificial Intelligence Center

Projects Supported by Grants 2026

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

Faigl, J.: Integrated Modular Unmanned Ground System 2

2025 - 2028, 101223988

Faigl, J.: Control System for Autonomous Vehicles in Multidomain Operations

2025 - 2028, OZ01020038

Faigl, J.: Technologie pro zvýšení odolnosti a robustnosti kyberfyzikálních systémů ochrany kritických infrastruktur

2026 - 2028, VK02030212

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.: Newsroom AI: public service in the era of automated journalism

2023 - 2026, TQ01000100

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

2024 - 2026, FW11020230

Král, L.: LUMOS: Decission support intelligence using language models by mining OSINT and structured information

2026 - 2027, TQ26000016

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

Lisý, V.: Effective and safe use of generative artificial intelligence tools in the student learning process

2025 - 2028, TQ23000086

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

Pačes, P.: A Residue Detector

2024 - 2026, VB02000079

Pevný, T.: Fundamental Tradeoffs for Information Hiding in Generated Media (DETERMINE)

2025 - 2028, GF25-17259K

Pevný, T.: Automatic analysis of Information space

2025 - 2028, OZ01020048

13136 / 13143 - Intelligent Data Analysis

Projects Supported by Grants 2026

Kléma, J.: Molecular tools for outcome prediction of kidney transplantation from marginal donors

2026 - 2029, NW26-06-00299

Kuželka, O.: The Automatic Combinatorialist

2024 - 2026, GA24-11820S

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

2024 - 2026, CELSA

Kuželka, O.: Probing Deep Learning Models by Logic

2026 - 2028, GA26-23758S

Šír, G.: Neuro-Symbolic Learning for Relational Databases

2026 - 2028, GA26-22501S

Ž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 2026

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

Bureš, M.: System for assessing cyber security risks in the infrastructure of the Czech Armed Forces

2025 - 2028, OZ01020013