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.
Antonín Komenda
About
Assistant Professor at the AI Center (FEE CTU) interested in artificial intelligence, automated planning, multiagent systems, computer science, simulations.
- 2013-2014: Postdoc fellow at Technion in Haifa, Israel.
- 2010: Visiting researcher at Drexel University, USA.
- 2008-2016: Research fellow at DCS, FEE of Czech Technical University.
Software Interests
Framework/toolkit design and architecture, functional programming, OOP, software engineering.
Experience
Java, PHP, Clojure, Python, C/C++, Linux, web development, agile methodologies, SW project management.
Latest Projects
Research Results
No items found.
Latest news
The CTU team secured first place in the latest round which grants them direct advancement to the finals of this international competition focused on trusted AI. The winners will be announced at the end of July 2025.
Jakub Mareček’s LION 19 keynote presents a framework for reasoning about repeated uses of AI systems and the new Interconnect toolkit for long-run properties therein.
For the second year in a row, our popular online course is open to the public. The 14-week course begins in September 2025 and is now also available to industry professionals seeking an EU microcertificate.