Thierry Lecomte - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Wed 5 May 2021

Name:Thierry Lecomte

Country:France

Affiliation:CLEARSY

Personal website: https://www.clearsy.com

Research interests:Safety, security, formal methods

Contributions

2026

FM

Pragmatic Uses of AI in Formal Methods–Based Railway Projects: Early Lessons and Perspectives
Committee Member in Tutorial Track Committee within the Tutorials-track

Show activities from other conferences

FM 2026-profile
View general profile