Personal information

Websites & social links

CLEARSY

Keywords

B method, safety critical, AI, cybersecurity

Countries

France

Activities

Collapse all

Employment (1)

CLEARSY: aix en provence, Bouches-du-Rhône, FR

2001-01-01 to present | R&D Director
Employment
Source: Self-asserted source
thierry lecomte

Education and qualifications (2)

Université de Technologie de Compiègne: Compiègne, FR

1988-09 to 1989-08 | Master in AI
Education
Source: Self-asserted source
thierry lecomte

École des Mines de Douai: Douai, FR

1985-09 to 1989-08 | Engineer in Robotics
Education
Source: Self-asserted source
thierry lecomte

Funding (15)

CASES

2022-06 to 2025-06 | Grant
Bpifrance (Maisons-Alfort, FR)
URL: https://www.clearsy.com/en/research-and-development/project-cases/
Source: Self-asserted source
thierry lecomte

BLASST

2022-03 to 2026-02 | Grant
Agence Nationale de la Recherche (Paris, FR)
URL: https://www.atelierb.eu/en/r-and-d-activities/blasst/
Source: Self-asserted source
thierry lecomte

ICSPA

2022-01 to 2025-12 | Grant
Agence Nationale de la Recherche (Paris, FR)
URL: https://www.atelierb.eu/en/r-and-d-activities/icspa/
Source: Self-asserted source
thierry lecomte

AIDOART

2021-04 to 2024-09 | Grant
HORIZON EUROPE Framework Programme (brussels, BE)
URL: https://www.atelierb.eu/en/r-and-d-activities/aidoart/
Source: Self-asserted source
thierry lecomte

DISCONT

2017-09 to 2021-08 | Grant
Agence Nationale de la Recherche (Paris, FR)
GRANT_NUMBER: ANR-17-CE25-0005
Source: Self-asserted source
thierry lecomte

AQUAS

2017-05 to 2020-06 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 737475
Source: Self-asserted source
thierry lecomte

MegaM@RT

2017-04 to 2020-04 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 737494
Source: Self-asserted source
thierry lecomte

LCHIP

2016-09 to 2020-12 | Grant
Direction Générale des Entreprises (Paris, FR)
Source: Self-asserted source
thierry lecomte

AMASS

2016-04 to 2019-03 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 692474
Source: Self-asserted source
thierry lecomte

INTO-CPS

2015-01 to 2017-12 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 644047
Source: Self-asserted source
thierry lecomte

FORMOSE

2014-09 to 2020-08 | Grant
Agence Nationale de la Recherche (Paris, FR)
GRANT_NUMBER: ANR-14-CE28-0009
Source: Self-asserted source
thierry lecomte

DEPLOY

2008-02 to 2012-04 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 214158
Source: Self-asserted source
thierry lecomte

RODIN

2004-09 to 2007-08 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: 511599
Source: Self-asserted source
thierry lecomte

PUSSEE

2002-01 to 2004-01 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: IST-2000-30103
Source: Self-asserted source
thierry lecomte

MATISSE

2000-05 to 2003-02 | Grant
European Commission (Brussels, BE)
GRANT_NUMBER: IST-1999-11435
Source: Self-asserted source
thierry lecomte

Peer review (1 review for 1 publication/grant)

Review activity for Formal aspects of computing. (1)
How many people are using ORCID?