Personal data | Research themes | Ongoing teaching | Publications |
Modélisation structures et matériaux
Person in charge of the Unit : Oui
Verification and formal methods
Person in charge of the Unit : Oui
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.
Person in charge of the Unit : Oui
This person isn't currently part of a projet.