Thierry Lecomte -

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

Dafny

Committee Member in Program Committee within the Dafny 2026-track

FM

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