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.
13 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 (26)
viewport8
javafx6
tla6
graphviz5
java5
model-checking5
semantics5
algorithms4
verification4
jekyll-theme3
prettify3
modeling3
rich-text-editor3
high-performance3
visual-studio-code3
Programming languages (4)
Github contributions (5)
plug-obp/plug-bpmn2-semantics
Jan 2018 - Jan 2026
BPMN2 operational semantics
Contributions:2 PRs, 13 pushes, 2 branches in 8 years 1 month
semanticsoperationalbpmn2
plug-obp/plug-collections
Mar 2019 - Feb 2025
Contributions:3 pushes, 1 branch in 6 years
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.