Sepideh Asadi
Technical Lead - C Library Qualification
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolSepideh Asadi is a technical lead and PhD-level researcher with 9 years of experience specializing in software verification, testing, and functional safety for safety-critical automotive systems. Based in Munich, she leads qualification efforts to ensure C++ STL functions meet ISO 26262 (ASIL‑D), coordinating requirements, test strategy, implementation, and V&V across teams. Her background in SMT‑based model checking and formal methods informs a methodical approach to traceability, code coverage, and risk-driven test prioritization. She blends hands-on engineering with process design—authoring structured test processes and Jira workflows—to make complex compliance work repeatable and auditable. Comfortable both independently and collaboratively, she pairs continuous learning with practical delivery, and has a track record of translating academic verification techniques into industrial-grade safety solutions.
9 years of coding experience
10 years of employment as a software developer
Bachelor’s Degree, Electrical Engineering (Electronics), Bachelor’s Degree, Electrical Engineering (Electronics) at Zanjan UniversityMaster’s Degree, Secure Communications, 3.86 / 4.00, Master’s Degree, Secure Communications, 3.86 / 4.00 at Iran University of Science and TechnologyHigh School, Mathematics and Physics, 19/20, High School, Mathematics and Physics, 19/20 at Hekmat School, National Organization for Development of ExceptionalDoctor of Philosophy (Ph.D.), Program Verification, Software Model checking, SMT-Solving, Doctor of Philosophy (Ph.D.), Program Verification, Software Model checking, SMT-Solving at USI Università della Svizzera italiana
English, azeri, Persian, Turkish, Italian, German
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (31)
checker10
model-checking9
tlaplus9
tla9
solver9
verification9
abstraction9
sat9
smt9
cpp8
test-suite8
sat-solver8
typescript8
microsoft7
electron7
Programming languages (5)
Github contributions (5)
usi-verification-and-security/upprover
Oct 2016 - Mar 2022
An SMT-based bounded model checker for C
Contributions:368 commits, 1 PR, 37 pushes in 5 years 6 months
model-checkermodel-checkingsmtcheckerverification
usi-verification-and-security/ptplib
Oct 2022 - Nov 2023
Partition Tree Protocol Library
Contributions:1 review, 1 PR, 1 push in 1 year 1 month
cryptographyintegritypartitionbigintbitset
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.