I work to enable construction of autonomous machines. I focus on knowledge-intensive
embodied agents and multi-agent systems, especially their individual and social action se-
lection and decision making. The recurrent themes of my work are interactions of such
systems with dynamic environments and engineering pragmatics. My work towards ad-
vancing theoretical foundations is driven by applications and prototyping.
My broad research interests include:
artificial intelligence, multi-agent systems, cognitive robotics, agent architectures,
agent-oriented programming and software engineering, multi-agent planning, plan repair,
multi-robotics, coordination, teamwork, knowledge representation and reasoning,
interaction with dynamic environments
An alternative view on the actual topics of my research provides a statistical analysis of my
publications. The snapshot shows the language of
my publications as of May 2011 (thanks to Wordle).
Selected projects
3rd party funded
- Multi-agent coordination and distributed continual planning, principal investigator, 2010–2011, funded by The Grant Agency of the Czech Technical University in Prague, ~20.000 EUR, team of 4, 24 months, CTU in Prague
- AgentFly-In-Air: information collection by teams of hardware UAVs, project coordinator, 2011–2012, funded by U.S. Army/CERDEC and U.S. Navy/ONR, team of 6+, 18 months, CTU in Prague
- Tactical AgentScout 2: Deliberative and reactive planning in adversarial environments, project coordinator, 2010–2011, funded by U.S. Army/CERDEC, team of 8, 12 months, CTU in Prague
- Tactical AgentFly 2: Intelligent Software Agent Control of Combined UAV Operations for Tactical Missions, project coordinator, 2009–2010, funded by U.S. Army/CERDEC, team of 3, 12 months, CTU in Prague
Personal track and other
- Temporally extended mission planning for multi-agent systems, on-going since 2011
- Theory and practice of agent-oriented programming, on-going since 2004
- Jazzyk programming language
- Jazzbot case-study
- UrbiBot case-study
- Team unknown case-study
- doctoral thesis
- Multi-Agent Programming Contest technical infrastructure, 2006–2009
- W4: Well-founded semantics for the World Wide Web, 2003–2004