ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wenceslas Godard

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

MeTRiD 2019Committee Member in Program Committee within the MeTRiD-track
Show activities from other conferences

ETAPS 2019-profile
View general profile