Renaud De Landtsheer

After having completed a master in engineering, with specialization in computer science, and a PhD on formal methods, security engineering, and requirements engineering. He is passionate about all form of artificial reasoning, including formal methods, optimization, compiler technology, etc. His wish: to deploy such methods in industrial setting, so as to generate a high added value.