معرفی
Thierry Jéron is a Senior Research Scientist (Directeur de Recherche) at Inria Rennes, where he has worked since 1993. He is currently a member of the DEVINE team at IRISA/Inria, focusing on formal verification and validation of large, reactive systems. His research spans distributed systems, timed systems, model-based testing, security testing, diagnosis, and runtime enforcement.
- Education: Master (1988) and Ph.D. (1991) in Computer Science from University of Rennes 1, supervised by Claude Jard and Michel Raynal.
- Leadership Roles: Scientific leader of VerTeCS team (2001–2012), Vice-Chairman of Inria Rennes' projects committee (2011–2015), member of Inria Evaluation Committee.
Research Interests include verification of distributed systems, timed systems, symbolic test case synthesis, diagnosability algorithms, security policies, and asynchronous communication systems. He co-developed tools like TGV (test generation for LTS) and STG (test generation for STS with data variables).
Current Projects:
- PaVeDyS (2024–2027): Parametric Verification of Dynamic Distributed Systems.
- SINCRET (2024–2026): Scalable Security Monitoring for Timed Systems with IIT Bhubaneswar.
Advising: Supervised 15 PhD students (2000–2023), including notable graduates now at institutions like University College London, IIT Bhubaneswar, and Clearsy.
