Projects
Several Ph.D. positions are available within Marie Skłodowska-Curie Doctoral Network for tensor modeling, geometry and optimization.
Interdisciplinary research project analyzing risks, opportunities and regulation of AI in the context of human rights.
EU-funded Horizon project combining micro-robotic, biological and machine learning technologies to support the well-being of honeybee queens.
DNS4EU will provide EU citizens, companies, and institutions with a secure, privacy-compliant, and powerful recursive DNS. It will become a vital part of European internet sovereignty.
Horizon Europe project for fair AI algorithms supported by the EU with 3,8 million Euros. Imperial College London, the Israeli Institute of Technology Technion and the National and Capodistrian University of Athens as well as partners from the industry collaborate on developing explainable and transparent algorithms.
Multi-goal task planning has been an optimization question in Operation Research and Logistics for a long time. We are now working on novel advances for high-speed solving these discrete planning problems. With fast single-source shortest path search, the map is condensed into a graph of customer orders.
Recently, we have made major advances in optimization in power systems. This includes time-varying optimization with non-linear constraints of the alternating-current optimal power flows, as well as mixed-integer optimization in unit commitment.
There has been recently much interest in quantum computing, which holds the promise of speeding up numerous (but certainly not all) problems. We work with some of the world's largest financial institutions to explore the applications of quantum computing in the Financial Services Sector.
Polynomial optimization is an exciting area of research in optimization, just at the boundary between what is undecidable and what is efficiently solvable. Sustained progress in the field over the past two decades has enabled new applications within many areas of engineering. One novel application arises in structural engineering.
CEDMO becomes part of the European Digital Media Observatory (EDMO) network of hubs on digital media that fight against disinformation across Europe. AIC researchers contribute to the EU-funded project with the use of artificial intelligence to detect disinformation and map its dissemination.
As part of contracted research services with Bell, we are developing passenger decision models in a city environment using both existing ground transportation and future vertical lift solutions.
Case study of our successful collaboration with ŠKODA AUTO. We determined the optimal distribution of charging stations in the factory using the power of AI, mathematical optimization and simulation fed by the real-world data.
Autonomous mobile robots can carry out tasks in environments that are unsafe or otherwise unsuitable for humans. The robots' missions in such environments range from remote facilities inspections to searching for survivors in the collapsed buildings or caves. Our models were also deployed on a tracked robot during the DARPA Subterranean Challenge.
We developed an algorithm for pipetting robots that helps to automate coronavirus testing at the Motol University Hospital. It is designed to allow pipetting robots to handle samples quickly and safely, avoiding cross-contamination.
Propaganda, fake news, and misinformation are not just social science topics. Our security research deals with so-called computational propaganda. In addition to politics, algorithms and automation are increasingly entering communication. Learn how they are being exploited.
What does the future of journalism look like with the introduction of artificial intelligence? Automatic generation of reports, verification of facts, search for articles confirming or refuting claims. These and other topics are explored by our researchers in the new TAČR project.
Since 2019 we foster artificial intelligence and machine learning research through a joint laboratory with Avast, the global leader in digital security.
Army Research Office project aiming to increase the robustness of ML techniques using the game-theoretic framework.
Research in distributed multi-agent planning (DMAP) aiming to formally define, describe, and most importantly prove how much of the private information is really preserved by the planning algorithms.
The goal of Civilsphere project is to provide simple solutions for NGOs and people at risk for detecting attacks in their devices using our network behavioral Intrusion Detection and Prevention System, Stratosphere IPS.
Together with Avast company, we aim to protect IoT devices by analyzing, executing, and detecting attacks and malware. The project leverages real IoT devices that are infected and attacked constantly, including routers, Raspberry Pi's, Alexa and other devices.