Research subject

Research

The Institute research potential can be roughly classified into two categories:

  • The fundamental research in computer science is focused on two related areas: theoretical computer science and artificial-intelligence. The aim is to perform a high-quality frontier research contributing to the advancement of recent developments in these fields and to participate in identifying new trends and directions for basic research.
  • the interdisciplinary scientific collaboration may be characterized as a research in data science. It primarily focuses on the field of complex systems and statistical modelling. Applications based on the current state-of-the art in mathematical statistics and data analytics are sought mainly in health, environment, energy and social sciences.

Research Department

COBRA – Complex networks and brain dynamics group

the development and application of methods of analysis and modelling of real-world complex networked systems, with particular interest in the structure and dynamics of human brain function.

ExtrA – Combinatorial group

focused on extremal graph theory and computational geometry

LogICS – Logics at ICS

study of (non-classical) logics

COMPS – COMputational PSychometrics Group

research and development of statistical models and computational methods for measurement analysis in the social sciences

Applied AI Group

development and application of data-driven AI methods to real-world problems

Automated Reasoning Group

formal and algorithmic methods for logical inference and system verification

Statistical Modelling Group

development of statistical models and applications to data analysis

The Karel Čapek Center for Values in Science and Technology

interdisciplinary platform established jointly with the Institute of Philosophy of the CAS, the Institute of Computer Science the CAS, the Institute of State of the CAS and Law and the Faculty of Science of the Charles University with the aim of studying ethical and socio-political issues related to artificial intelligence, robotics and biotechnology

Selected Research Projects

BRADY - Brain dynamics

Development of computational models of brain activity that capture the dynamics of the brain at different time scales.

Dezinfo - Biography of fake News with a touch of AI: Dangerous Phenomenon through the Prism of Modern Human Sciences

Analysis of creation, dissemination, reception and impact of disinformation (fake news) in society, with a specific focus on the use of artificial intelligence (AI) tools in its detection.

Geohazards - Natural and Anthropogenic Georisks

To understand natural and man-made threats, hazards, and risks in the Earth's upper spheres, to explore their causes and to quantify their potential impacts on human society and infrastructures.

DigiWELL – Research of Excellence on Digital Technologies and Wellbeing

The DigiWELL project responds to research challenges in key areas of the rapidly evolving domain of digital technologies aimed at promoting physical, mental and social wellbeing.

MOSAIC – Modalities in Substructural Logics: Theory, Methods and Applications

The project aims to put forward a systematic study of substructural modal logics, understood as those modal logics in which the modal operators are based upon the general ground of substructural logics, weaker deductive systems than classical logic.

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 – New microscale instruments for quantifying traffic and development related urban scenarios concerning air pollution limits

Developing new tools to assess the dispersion of traffic emissions in urban areas at high temporal and spatial resolution.

EduCoDe – Complex analysis of educational measurement data to understand cognitive demands of assessment tasks

The project aims to improve understanding of the cognitive demands of test items by proposing methods for complex educational measurement data analysis involving text analysis and equating different test forms.

Research Infrastructure FERMILAB-CZ

The FERMILAB-CZ is devoted to Czech collaboration with the U.S. national laboratory Fermilab, the primary concern of which is the research of elementary particles.

Past projects:

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

Examination and development of theoretical backgrounds of the semantic web, mainly from the point of view of modern AI methods and methods of computing by nature

IMAPA – Iterative Methods in Computational Mathematics: Analysis, Preconditioning, and Applications

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