ÂÜÀòÂÒÂ×

Ciprian Teodorov is a Full Professor at ENSTA Bretagne with extensive experience in the design and formal verification of critical embedded systems. Since June 2013, Ciprian has contributed to projects such as DDASCA DEPARTS, focusing on tool-enabled methodologies for functional component verification, and ANR INS GeMOC, which involves designing formal languages for concurrency in domain-specific languages. Prior to this role, Ciprian served as an EDA/CAD Software Engineer at Dolphin Integration, developing VHDL simulation infrastructure, and as a Ph.D. candidate at Université de Bretagne Occidentale, where research centered on MDE-based physical design for nanoscale architectures. Educational qualifications include a Ph.D. and Ms. in Computer Science from Université de Bretagne Occidentale, and a BSc in Computer Science from Universitatea OVIDIUS din Constanta.