Göran Bertheau, Doctoral student (not working at IDT anymore)


Have worked at Saab AB for almost ten years with software development in safety-critical avionics systems to be certified.

Formal methods for requirements writing, hierarchies and interfaces from system to code, for validation and verification.