Ciprian TEODOROV
N120
T: +33 (0) 2 98 34 8953
M: ciprian.teodorov [at] ensta-bretagne.fr
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.
education
- Habilitation in Computer Science (French HDR), 2023, University of Western Britanny (UBO), Brest.
- Ph.D. in Computer Science, 2011, University of Western Britanny (UBO), Brest.
selected publications
2023
- Temporal Breakpoints for Multiverse DebuggingIn Software Language Engineering 2023 , Oct 2023
2022
- Practical multiverse debugging through user-defined reductionsIn MODELS ’22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems , Oct 2022
2022
- Dolmen: FPGA Swarm for Safety and Liveness VerificationIn 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) , Mar 2022
2021
- Unified verification and monitoring of executable UML specifications. A transformation-free approachSoftware and Systems Modeling, Nov 2021