Renaud De Landtsheer

Renaud De Landtsheer est ingénieur civil informaticien et docteur en sciences appliquées. Sa thèse portait sur les méthodes formelles, l’ingénierie de la sécurité et l’ingénierie des cahiers des charges. Il est passionné par toutes les formes de raisonnement artificiel, incluant les méthodes formelles, l’optimisation, les techniques de compilation, etc. Son souhait : parvenir à déployer ces techniques en industrie, de manière à générer une forte valeur ajoutée.