Yassine Lakhnech

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• From Programs to Systems - The Systems Perspective in Computing
• Concurrency verification
• Specification and verification of hybrid and real time systems