Safety Critical Embedded Systems
Cyber Security
Formal Methods
Software
Software development for safety and cyber security
Cyber security referentials: CWE CAPEC
Standards: EN50126 EN50128 EN50129 ISO26262 DO178C IEC61508
Web Development
Information Technology
Development of verification tools