Výzkumná oddělení

• Oddělení teoretické informatiky
• Oddělení statistického modelování a umělé inteligence
• Oddělení složitých systémů

Výzkumné skupiny

• COBRA - Complex networks and brain dynamics group

  vývoj a aplikace metod pro analyzu a modelování reálných složitých sítových systémů, například modelování struktury a dynamiky funkcí lidského mozku.

• ExtrA - Combinatorial group

  zaměřeno na extremální teorii grafů a výpočetní geometrie

• LogICS - Logics at ICS

  studium (neklasických) logik

• COMPS - COMputational PSychometrics Group

  výzkum a vývoj statistických modelů a výpočetních metod pro analýzu měření v sociálních vědách

• Applied AI Group

  vývoj a aplikace metod AI pro řešení reálných problémů

• Automated Reasoning Group

  formální a algoritmické metody pro logické odvozování a verifikaci systémů

• Statistical Modelling Group

  vývoj statistických metod a aplikace na analýzu dat

• Centrum Karla Čapka pro studium hodnot ve vědě a technice

  mezioborová platforma založená společně s Filosofickým ústavem AV ČR, Ústavem informatiky AV ČR, Ústavem státu a práva a Přírodovědeckou fakultou UK jejíž cílem je studium etických a sociálně-politických otázek souvisejících s umělou inteligencí, robotikou a biotechnologiemi

Vybrané výzkumné projekty

• BRADY - Dynamika mozku

  Rozvoj výpočetních modelů mozkové aktivity, které zachycují dynamiku mozku v různých časových měrítkách.

• Dezinfo - Biografie dezinformace s přívlastkem AI: Rizikový fenomén prizmatem moderních věd o člověku

  Analýza vzniku, šíření, recepce a dopadu dezinformací na společnost s důrazem na využití umělé inteligence při jejich odhalování.

• Georizika - Přírodní a antropogenní georizika

  Poznání přírodních a člověkem způsobených hrozeb a rizik ve svrchních sférách planety Země, vysvětlení příčin jejich vzniku a kvantifikace možných dopadů na lidskou společnost a infrastruktury.

• DigiWELL - Excelentní výzkum v oblasti digitálních technologií a wellbeingu

  Projekt DigiWELL odpovídá na výzkumné výzvy v klíčových oblastech rapidně se rozvíjející domény digitálních technologií zaměřených na podporu fyzického, psychického a sociálního wellbeingu

• MOSAIC - Modalities in Substructural Logics: Theory, Methods and Applications

  Projekt se zaměřuje na systematické zkoumání modálních logik, založených na logikách substrukturálních, které jsou obecně deduktivně slabší než logika klasická.

• CARMINE - Climate-Resilient Development Pathways in Metropolitan Regions of Europe

  Bridging the local and regional scales by providing impact-based decision support services and multilevel climate governance supporting local adaptation, including both traditional and Nature-Based Solutions.

• Microbus - Nové mikroměřítkové nástroje pro kvantifikaci dopravně-urbanistických scénářů v městské zástavbě z pohledu imisních limitů

  Vytvoření nových nástrojů pro hodnocení rozptylu dopravních emisí v městské zástavbě ve vysokém časovém a prostorovém rozlišení.

• EduCoDe - Komplexní analýza dat ze vzdélávacích měření pro porozumění kognitivním nárokům testových úloh

  Cílem projektu je zlepšit porozumění kognitivním nárokům testových úloh pomocí metod pro komplexní analýzu dat z měření výsledků vzdělávání zahrnující textovou analýzu a vyrovnávání více verzí testu.

• Research Infrastructure FERMILAB-CZ

  FERMILAB-CZ se zaměřuje na spolupráci ČR s americkou národní laboratoří Fermilab, jejíž hlavní náplní je výzkum elementárních částic.

Ukončené:

• MEDARD

  Weather and air pollution forecasts.

• Krylov - Theory of Krylov subspace methods and its relationship to other mathematical disciplines

  sensitivity of the Gauss-Christoffel quadrature and its relationship to the CG and Lanczos methods, extension of the core problem theory to multidimensional case, numerical stability and stopping criteria in iterative solvers, convergence behaviour in relation to various properties of the problem and open questions in the mathematical theory of optimal short term recurrences.

• SemWeb - Intelligent Models, Algorithms, Methods and Tools for the Semantic Web Realisation

  Integrace progresivních teoretických disciplín informatiky a jejich praktické aplikace; vyzkoušení a vyvinutí teoretických základů sémantického webu, zejména s ohledem na moderní metody umělé inteligence a metody computing by nature

• IMAPA - Iterační metody ve výpočetní matematice: Analýza, předpodmínění a aplikace

  focused on Krylov subspace methods, open questions related to their convergence, associated matrix approximation problems, error estimation and stopping criteria.