Ústav informatiky Akademie věd České republiky

Předmět výzkumu

Výzkumný potenciál ústavu je možné zhruba roztřídit do dvou kategorií:

  • Základní výzkum v informatice je zaměřen na 2 oblasti: teoretická informatika a umělá inteligence. Cílem je provádět vysoce kvalitní hraniční výzkum přispívající k pokroku v současném rozvoji těchto oblastí a podílet se na identifikaci nových trendů a směrů v základním výzkumu.
  • Mezioborová vědecká spolupráce může být charakterizována jako výzkum v datové vědě. Primárně se zaměřuje na komplexní systémy a statistické modelování. Aplikace založené na nejmodernějších výsledcích v matematické statistice a analýze dat jsou vyhledávány zejména v oblasti medicíny, energetiky a sociálních věd.

Výzkumná oddělení

Načíst další

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ěří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 infrastrukturu.

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 dopadů 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ě v 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 computingu 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.