USTAV TEORIE INFORMACE A AUTOMATIZACE AV CR VVI

Their core work

UTIA (Institute of Information Theory and Automation) is a Czech Academy of Sciences research institute specializing in mathematical foundations of computing, embedded systems design, and digital transformation technologies. Their work spans two distinct tracks: theoretical research in mathematical logic and formal methods, and applied R&D in microcontroller architectures, memory technologies, and industrial digitalization. They contribute signal processing, optimization algorithms, and formal verification expertise to large European electronics and Industry 4.0 consortia.

What they specialise in

How they've shifted over time

Their early H2020 portfolio (2016-2018) centered on semiconductor manufacturing, embedded memory technologies (flash, phase change), and Industry 4.0 digitalization — classic electronics value chain work. From 2019 onward, the applied work shifted toward higher-level concerns: digital trust and content verification (PROVENANCE), edge AI (StorAIge), and ultra-low-power SoC design. Meanwhile, their pure mathematics track continued steadily, with MOSAIC (2021-2026) extending earlier SYSMICS work into modal logics and applied computational linguistics.

Moving toward AI-at-the-edge applications built on their embedded systems expertise, while deepening their unique mathematical logic research — expect them to bridge formal verification with intelligent embedded systems.

How they like to work

Exclusively a participant — zero coordinator roles across all 10 projects, indicating they contribute specialized expertise rather than lead consortia. With 298 unique partners across 30 countries, they plug into very large ECSEL/IA consortia (often 30-50+ members) for their applied work, and smaller MSCA networks for their theoretical research. This makes them a reliable, low-overhead partner who brings deep technical skills without competing for project leadership.

Remarkably broad network of 298 partners across 30 countries, driven by participation in large ECSEL electronics consortia. Their reach is pan-European with no obvious geographic clustering beyond the typical Western European electronics ecosystem.

What sets them apart

UTIA occupies a rare dual position: they combine deep expertise in mathematical logic and formal methods (proof theory, Kripke semantics) with hands-on embedded systems and microcontroller R&D. This combination is unusual — most institutes do one or the other. For consortium builders, this means UTIA can contribute both the theoretical foundations (formal verification, algorithmic proofs) and the applied engineering needed for trustworthy embedded and edge computing systems.

Highlights from their portfolio

• PROVENANCE
  Their largest single grant (EUR 352,800) and a thematic outlier — content verification and digital trust — showing versatility beyond their core electronics work.
• MOSAIC
  Running until 2026, this MSCA project on modal and substructural logics represents their longest-term commitment and deepest theoretical specialization.
• StorAIge
  Their most forward-looking project (2021-2024), targeting AI-ready microcontrollers with ultra-low-power SoCs — signals where their applied work is heading.