Renaud De Landtsheer

Software and System Engineering

Renaud De Landtsheer

Software and System Engineering

Ingénieur de recherche Expert
renaud.delandtsheer@cetic.be
LinkedIn
Tél : 0477 45 16 88

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.

Projets (en cours)