We operate a centre that conducts research in the areas of automatic control, control and embedded systems, machine perception and artificial intelligence. We work on modeling, simulation, control and decision making in distribution networks, collective robotics or verification of discrete event systems.

We focus on areas of basic, interdisciplinary and applied research, such as mathematical and logical foundations of computer science, artificial intelligence, computational mathematics, statistical modelling, complex systems and various applications of computer science to diverse areas and activities.