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.
Events
| 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 |