Lab-STICC UMR 6285, ENSTA Bretagne.



T: +33 (0) 2 98 34 8953

M: ciprian.teodorov [at]

2 rue François Verny

Brest, France

Ciprian TEODOROV is a computer science researcher in Lab-STICC Laboratory/P4S team at ENSTA Bretagne. His main research interests are the industrialization of automata-based model-checking techniques for embedded system verification and model-driven design tools for reconfigurable system-on-chip. He leads the OBP2 Semantic Diagnosis & Formal Verification research team.

In the past he worked as EDA/CAD Software Engineer at Dolphin Integration, Meylan, France. His main responsibility was the implementation of a new, modern VHDL language infrastructure to increase standard compliance, to reduce memory consumption and to improve the simulation speed.

Ciprian TEODOROV received a PhD degree in Computer Science from the University of Western Brittany, France. He was a member of the “Methods, tools for circuits and systems” (MOCS) team of Lab-STICC. His research work focused on physical-design tools for nanoscale computing architectures.

During his PhD he created R2D NASIC, a nanoscale architectural template, based on the NASIC fabric, which enables arbitrary placement and routing at nanoscale. He also designed MoNaDe, a model-driven physical-design framework. MoNade enables agile and incremental exploration of the architecture/design-tools adequacy.

CV Overview


selected publications


  1. Temporal Breakpoints for Multiverse Debugging
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , Luka Le Roux , and Loïc Lagadec
    In Software Language Engineering 2023 , Oct 2023


  1. Practical multiverse debugging through user-defined reductions
    Matthias Pasquier , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , Luka Le Roux , and Loïc Lagadec
    In MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems , Oct 2022


  1. Dolmen: FPGA Swarm for Safety and Liveness Verification
    Emilien Fournier , Ciprian Teodorov, and Loïc Lagadec
    In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) , Mar 2022


  1. Unified verification and monitoring of executable UML specifications. A transformation-free approach
    Valentin Besnard , Ciprian Teodorov, Frédéric Jouault , Matthias Brun , and Philippe Dhaussy
    Software and Systems Modeling, Nov 2021