Brussels / 1 & 2 February 2014


Didier Willame

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.


Title Day Room Track Start End
Formal Verification with Ada 2012: a Very Simple Case Study Saturday K.4.601 Ada 16:00 16:25