conferences | speakers | series

Didier Willame

👥 1 conference
🎤 1 talk
📅 Years active: 2014 to 2014

Biography

Didier Willame graduated in Mathematics from UMH (Belgium). He is a software engineer with more than 15-years of experience in a wide range of industries (air traffic control, telecommunications, railway transportation, networks, 3D gesture recognition, finance, medicine and e-government). He is also a lecturer at ESI (Ecole Supérieure d'Informatique, Belgium) where he teaches mathematics, statistics and computer science. Moreover, Didier leads all operations at Argonauts-IT Ltd. Finally, his centers of interest include formal proofs of computer source code.

— biography from FOSDEM 2014
https://archive.fosdem.org/2014/schedule/speaker/didier_willame/

Conferences

1 known conferences

👥 FOSDEM 2014 📅 01 Feb 2014

  ðŸŽ¤ Formal Verification with Ada 2012: a Very Simple Case Study
   01 Feb 2014 show details