Vassil
I have more than 10 years of experience in the automotive domain as embedded software architect and formal... | Vélizy-Villacoublay, Vélizy-Villacoublay, France
*50 free lookup(s) per month.
No credit card required.
Vassil ’s Emails va****@st****.com
Vassil ’s Phone Numbers No phone number available.
Social Media
Vassil ’s Location Vélizy-Villacoublay, Vélizy-Villacoublay, France
Vassil ’s Expertise I have more than 10 years of experience in the automotive domain as embedded software architect and formal methods expert. My current job is to lead and deploy static analysis methods and tools starting from unsound tools such as Coverity, Bug Finder, Parasoft C/C++ test to sound tools based on formal methods (abstract interpretation). I'm working with all Stellantis teams worldwide to find the optimal coding rules for each project. I also leaded the introduction and deployment of SCADE for safety-critical software modules with deployment on production cars. My recent research work is in the domain of static analysis based on abstract interpretation to provide automatically contracts and reduce the number of issues thus saving time. A publication will be done at the ERTS 2024 international conference. My interest 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 and to prepare for certification of the autonomous vehicle's software.
Vassil ’s Current Industry Centralesupelec
Vassil
’s Prior Industry
Groupe Psa
|
Stellantis
|
Centralesupelec
Not the Vassil you were looking for?
Find accurate emails & phone numbers for over 700M professionals.
Work Experience
Centralesupelec
Executive Phd In Formal Verification Of Safety-Critical Software
Tue Sep 01 2015 00:00:00 GMT+0000 (Coordinated Universal Time) — Tue Dec 01 2020 00:00:00 GMT+0000 (Coordinated Universal Time)
Stellantis
Embedded Software And Diagnostics Architect, Formal Verification
Wed Sep 01 2010 00:00:00 GMT+0000 (Coordinated Universal Time) — Present
Groupe Psa
It Projects Management And Administration
Thu Sep 01 2005 00:00:00 GMT+0000 (Coordinated Universal Time) — Sun Aug 01 2010 00:00:00 GMT+0000 (Coordinated Universal Time)Skills
Languages
Vassil Email Addresses
FAQ About Vassil
-
Vassil is located at
Vélizy-Villacoublay, Vélizy-Villacoublay, France -
Vassil is a
I have more than 10 years of experience in the automotive domain as embedded software architect and formal methods expert. My current job is to lead and deploy static analysis methods and tools starting from unsound tools such as Coverity, Bug Finder, Parasoft C/C++ test to sound tools based on formal methods (abstract interpretation). I'm working with all Stellantis teams worldwide to find the optimal coding rules for each project. I also leaded the introduction and deployment of SCADE for safety-critical software modules with deployment on production cars. My recent research work is in the domain of static analysis based on abstract interpretation to provide automatically contracts and reduce the number of issues thus saving time. A publication will be done at the ERTS 2024 international conference. My interest 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 and to prepare for certification of the autonomous vehicle's software. Centralesupelec -
Vassil currently works in the
Centralesupelec -
Vassil specializes in
I have more than 10 years of experience in the automotive domain as embedded software architect and formal methods expert. My current job is to lead and deploy static analysis methods and tools starting from unsound tools such as Coverity, Bug Finder, Parasoft C/C++ test to sound tools based on formal methods (abstract interpretation). I'm working with all Stellantis teams worldwide to find the optimal coding rules for each project. I also leaded the introduction and deployment of SCADE for safety-critical software modules with deployment on production cars. My recent research work is in the domain of static analysis based on abstract interpretation to provide automatically contracts and reduce the number of issues thus saving time. A publication will be done at the ERTS 2024 international conference. My interest 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 and to prepare for certification of the autonomous vehicle's software. -
Vassil speaks the following languages:
No languages available. -
Vassil has prior experience in the following industries:
Centralesupelec , Groupe Psa -
Vassil has the following professional experience:
Centralesupelec , Stellantis , Groupe Psa . -
You can view Vassil ’s
LinkedIn profile at LinkedIn URL. -
Vassil ’s work email addresses are
[email protected] . -
Vassil works at
Centralesupelec
People you may be interested in
- Jose Samayoa
- Kevin Aumond
- Frannie Reid
- Bhaliya Hitesh
- Patrick Brown
Suscriptor Seguro de Personas
Director of Operations
Communications Specialist at Frontier Communications
Android/ Flutter Developer
Senior Managing Director at NewPoint Real Estate Capital