Ciprian Teodorov
Full Professor at ENSTA
Greater Brest Area France
Summary
👤
Senior🎓
Top SchoolCiprian Teodorov is a Full Professor and computer science researcher with 13 years of experience specializing in model-driven engineering, high-level automated hardware synthesis, and formal verification of industrial-scale and safety-critical systems. He designs dependable cyber-physical systems and formal specification frameworks that bridge SysML/UML models to model-checking and deployment toolchains. His background spans academia and industry—from leading research projects and supervising high-performance scalability studies to developing VHDL simulation infrastructure and FPGA synthesis workflows. Ciprian’s work uniquely combines nanoscale architectural templates and model-driven physical design with practical EDA/CAD tool development, enabling both exploratory research and industrial-grade validation. Based in the Greater Brest area, he pairs rigorous formal methods with hands-on implementation experience, having led tool-enabled methodological frameworks and industrialization efforts. Colleagues know him for turning complex concurrency and platform-execution concerns into verifiable, deployable solutions.
12 years of coding experience
15 years of employment as a software developer
Ph.D, Computer Science, Ph.D, Computer Science at Université de Bretagne OccidentaleBSc, Computer Science, BSc, Computer Science at Universitatea „Ovidius” din ConstanțaBaccalauréat, Computer Science, high-school, Baccalauréat, Computer Science, high-school at The International Computer High School of Constanta
Romanian, French, English, Turkish
Github Skills (44)
viewport8
tla7
cytoscapejs7
prettify7
checker6
verification6
semantics6
java6
javafx6
graphviz5
model-checking5
network-visualization5
tlaplus4
gitlab4
toolbox4
Programming languages (4)
Github contributions (5)
plug-obp/plug-collections
Mar 2019 - Feb 2025
Contributions:3 pushes, 1 branch in 6 years
plug-obp/plug-bpmn2-semantics
Jan 2018 - Feb 2023
BPMN2 operational semantics
Contributions:2 PRs, 12 pushes, 2 branches in 5 years 2 months
semanticsoperationalbpmn2
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.