Research Department

• Theoretical Computer Science
• Statistical Modelling and Artificial Intelligence
• Complex Systems

Research Groups

• 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.