Vassil T.
Embedded Software and Diagnostics Architect, Formal Verification
Stellantis
Country or State
France
Bio
My work and research topics are the improvement of the software quality by using static analysis and formal verification methods and tools and train non-expert engineers to use them. It aims to increase the safety-critical software robustness level and to prepare for certification of the autonomous vehicle's software.
Similar Speakers
Current Position
Embedded Software and Diagnostics Architect, Formal Verification at Stellantis
Degrees
Doctor of Philosophy (Ph.D.), Computer Science