Personal information

Activities

Employment (3)

CLEARSY Systems Engineering: Aix-en-Provence, FR

2016-01-11 to present
Employment
Source: Self-asserted source
David Deharbe

Universidade Federal do Rio Grande do Norte: Natal, RN, BR

1997-03-01 to present
Employment
Source: Self-asserted source
David Deharbe

Carnegie Mellon University: Pittsburgh, PA, US

1995-02-01 to 1997-01-31 | Visiting Researcher (School of Computer Science)
Employment
Source: Self-asserted source
David Deharbe

Education and qualifications (4)

Université de Grenoble Alpes: Grenoble, Rhône-Alpes, FR

1993-10-01 to 1996-11-10 | Docteur en Informatique
Education
Source: Self-asserted source
David Deharbe

Institut Polytechnique de Grenoble: Grenoble, Rhône-Alpes, FR

1990-10-01 to 1991-08-31 | DEA Informatics
Education
Source: Self-asserted source
David Deharbe

Université Grenoble Alpes Grenoble IAE: Saint-Martin-d'Heres, Auvergne-Rhône-Alpes, FR

1988-10-01 to 1990-08-31 | Master of Sciences and Techniques - Expert in Informatics Systems (MST ESI)
Education
Source: Self-asserted source
David Deharbe

Université de Lorraine: Épinal, FR

1986-10-01 to 1988-06-30 | DEUG A SSM - Mathematics and Physics.
Education
Source: Self-asserted source
David Deharbe

Professional activities (1)

Agence Nationale de la Recherche: Paris, FR

2020-01-01 to 2020-06-30 | Member of expert committee 25 for call AAPG-2020.
Service
Source: Self-asserted source
David Deharbe

Funding (2)

DISCONT

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

AMASS

2016-04 to 2019-03 | Grant
European Commission (Brussels, FR)
GRANT_NUMBER: 692474
Source: Self-asserted source
David Deharbe

Peer review (1 review for 1 publication/grant)

Review activity for Formal aspects of computing. (1)