Teams & labs

Research groups constitute basic units contributing to CIIRC research and development. The scope of the group research insterests corresponds to professional desires of its members and to heading asserted by the group leader. Research groups are unified into respective departments vertically.

We provide description of CIIRC departments and their gropus in a concise unified format. CIIRC departments/groups are encouraged to create their own more detailed web pages without restrictions on their format. By providing to the reader in concise unified look, we address both the first time reader aiming fast overview and the reader, who already knows about CIIRC and seeks a quick referece or link.

CIIRC maintains laboratories dedicated to specific research directions. A laboratry bears specific knowledge, skills, experience, equipments, etc. Laboratories may overlap horizontally accross research departments and their groups, which are ordered vertically.

CIIRC values openness inducing the cooperation outside of research groups, teams and stimulates cooperation with external industrial and research bodies. The opennes is innate to CIIRC laboratories too.

The list of departments and groups withing individual departments follows. The list is intended to provide the overview to the reader and a quick direct access to web pages maintained by individual groups.

37210 Department of Artificial Inteligence (AI, Josef Urban)
37211 Formal Methods (FM, Mikoláš Janota)
37212 Foundational AI (FAI, Tomáš Mikolov)
37213 Machine learning (ML, Robert Babuška)
37214 Automatic reasoning (AR, Josef Urban)

37220 Intelligent systems (INTSYS, Vladimír Mařík)
37221 Intelligent systems for industry and smart distribution networks
(ISI, Petr Kadera)
37222 Intelligent transportation systems (ITS, Pavel Hrubeš)
37223 Intelligent systems for design and realization of transport constructions
(ISC, Jan Valentin)
37224 Big data and cloud computing (BDC, Jan Šedivý)
37225 Automatic reasoning and formal methods (AIF, Josef Urban)
37226 Power engingeering
37227 Smart cities

37230 Industrial informatics (IID, Zdeněk Hanzálek)
37231 Optimization (OPT, Přemysl Šůcha)
37232 Embedded systems (EMB, Michal Sojka)

37240 Robotics and machine perception (RMP, Václav Hlaváč)
37241 Robotic perception (ROP, Václav Hlaváč)
37242 Intelligent and mobile robotics (IMR, Libor Přeučil)
37243 Applied algebra and geometry (AAG, Tomas Pajdla)

37250 Industrial production and automation (IPA, Michael Valášek)
37251 Design and control of machines and products (DCM, Tomáš Vyhlídal)
37252 Effective production (EFP, Jan Smolík)
37253 Simulation, optimization and measurement (SOM, Michael Valášek)
37254 Prototypical workshop and rental shop of instruments (PWR, Jan Smolík)

37260 Cognitive systems and neurosciences (COGSYS, Lenka Lhotská)
37261 Cognitive neuroscience (CON, Lenka Lhotská)
37262 Cognitive modeling (COM)
37263 Analysis of human motion (HMA, Václav Křemen)
37264 Neuroinformatics of normal and pathological hearing function
(NAP, Daniel Šuta)

37270 Biomedical engineering and assistive technologies (BEAT, Olga Štěpánková) BEAT groups have not been established yet.

37280 RICAIP (Tilman Becker) – Research and Innovation Centre on Advanced Industrial Production

37290 Scientific management of platforms (PLAT, Vladimír Kučera)
37291 Center for applied cybernetics (CAK, Vladimír Kučera)
37292 AI&Reasoning (AIR, Josef Urban)
37293 IMPACT (IMPACT, Josef Šivic)
37294 Testbed (Testbed, Pavel Burget)
37295 Robotics for Industry 4.0 (R4I, Robert Babuška)