|Personal data||Research themes||Ongoing teaching||Publications|
Verification and formal methods
The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants control systems, and so forth.
This person isn't currently part of a projet.