13000 / 13136 - katedra počítačů

Projekty podporované granty 2026

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

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

13136 / 13141 - centrum umělé inteligence

Projekty podporované granty 2026

Faigl, J.: Centrum pokročilých strojů a výrobních technologií

2023 - 2028, TN02000028

Faigl, J.: Budování situačního povědomí v interakci člověk-stroj resilientní komunikací v robotické telemetrii

2024 - 2026, LUABA24064

Faigl, J.: Integrated Modular Unmanned Ground System 2

2025 - 2028, 101223988

Faigl, J.: Systém řízení autonomních prostředků v multidoménových operacích

2025 - 2028, OZ01020038

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

2026 - 2028, VK02030212

Faigl, J.: CEEPUS Mobility Grant

2026 - 2030, M-BA-2004-2526-206555

Horčík, R.: Výpočet a aproximace ekvilibrií ve hrách se složitými prostory strategií

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

Krajník, T.: Farmer-in-the-loop heritage-aware AI and Robotic Mechanisation for Agricultural Resilience

2026 - 2030, 101299691

Krajník, T.: Novel Endemic Wild Bee Engagement for Environmentally-sound agriculture

2026 - 2030, 101299682

Král, L.: Newsroom AI: veřejná služba v éře automatizované žurnalistiky

2023 - 2026, TQ01000100

Král, L.: Aplikovaný právní jazykový model a benchmarky pro využití v právní praxi

2024 - 2026, FW11020230

Král, L.: LUMOS: Podpora strategického rozhodování s využitím jazykových modelů a vytěžováním OSINT a strukturovaných informací

2026 - 2027, TQ26000016

Kroupa, T.: Nové modely důvěry a volební robustnosti ve velkých multiagentních systémech

2025 - 2027, GA25-17221S

Lisý, V.: Rozvoj agentů založených na velkých jazykových modelech pomocí hraní her

2025 - 2027, GA25-18353S

Lisý, V.: Efektivní a bezpečné využití nástrojů generativní umělé inteligence v procesu učení žáků

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.: Zbytkový detektor

2024 - 2026, VB02000079

Pevný, T.: Nezbytné kompromisy při ukládani informací v generovaných mediích

2025 - 2028, GF25-17259K

Pevný, T.: Automatická analýza informačního prostoru

2025 - 2028, OZ01020048

13136 / 13143 - Intelligent Data Analysis

Projekty podporované granty 2026

Kléma, J.: Molekulární nástroje pro predikci výsledků transplantace ledvin od marginálních dárců

2026 - 2029, NW26-06-00299

Kuželka, O.: Automatický kombinatorik

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.: Relační posilované učení pro akceleraci vědy

2024 - 2026, GA24-11664S

13136 / 13144 - laboratoř inteligentního testování systémů

Projekty podporované granty 2026

Bureš, M.: Augmented Reality pro Vzdálený Biomonitoring a Záchranné Operace v CBRN situacích

2024 - 2026, VB02000036

Bureš, M.: DeepMBT: Nová generace testování sofwarových systémů založeného na modelech s využitím umělé inteligence

2024 - 2026, LUABA24101

Bureš, M.: Systém pro vyhodnocování kyberbezpečnostních rizik v infrastruktuře AČR

2025 - 2028, OZ01020013