ETAPS 2019 (series) / Wenceslas Godard
![Wenceslas Godard](https://conf.researchr.org/getProfileImage/wenceslasgodard/00163ced-74c3-41fd-8d2d-6ad9935a7dc8/small.jpg?1711605079000)
Registered user since Tue 16 Oct 2018
Name:Wenceslas Godard
Bio:
Started as a research assistant in the WatForm group at University of Waterloo, ON (Canda). He joined Aibus group in 2006 as researcher and moved to Airbus commercial A/C in 2018 in on board Open Information Systems department. Main projects/skills include formal verification (static analysis, model checking, theorem proving), model based approach targetting at verifcation of avionics and open world systems platforms.
Country:France
Affiliation:Airbus Operations SAS
Research interests:network, avionics, verification, system engineering, certification
Contributions
ETAPS 2019-profile
View general profile
View general profile