Skip to content

David Déharbe

  • Docteur en Informatique
  • Software engineer and formal methods expert
  • ClearSy Systems Engineering
  • 9h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 307CitationsNumber of citations received by David's publications. Updated daily.

Recent publications

  • Consideracoes sobre Especificacao e Verificacao Formal de Sistemas Embarcados utilizando JML

    • Carro L
    • Deharbe D
    • Silva I
    • et al.
    N/AReaders
    N/ACitations
  • Logic for Concurrency and Synchronisation

    • Déharbe D
    N/AReaders
    N/ACitations

Professional experience

Software engineer and formal methods expert

ClearSy Systems Engineering

January 2016 - Present

Associate Professor (on leave)

UFRN - Universidade Federal do Rio Grande do Norte

March 1999 - Present

Visiting Professor

UFRN - Universidade Federal do Rio Grande do Norte

March 1998 - February 1999(a year)

Substitute Professor

UFRN - Universidade Federal do Rio Grande do Norte

March 1997 - February 1998(a year)

Visiting Researcher

Carnegie Mellon University

February 1995 - January 1997(2 years)

Education

Doctoral Degree - Docteur en Informatique

Université Grenoble 1, (France)

October 1992 - November 1996(4 years)

Master's Degree - Diplôme d'Études Approfondies en Informatique

Grenoble INP - National Polytechnical Institute

September 1990 - July 1991(10 months)

Bachelor's Degree - Maîtrise en Sciences et Techniques - Expert en Systèmes Informatiques

Université Grenoble 1, (France)

February 1988 - July 1990(2 years)

Undergraduate Degree - Diplôme d'Études Universitaire Générales Sciences et Structures de la Matière

Université Nancy 1 - Université Henri Poincaré

September 1986 - June 1988(2 years)

About

Professor at the Federal University of Rio Grande do Norte, where I have been working since 1997, my professional activities consist in lecturing undergraduate and graduate students, research in the area of formal methods, including formal verification, and miscellaneous administrative tasks. I am with the Department of Informatics and Applied Mathematics and the Graduate Program in Systems and Computing. I also head the Formal Methods and Languages Research Laboratory and participate in the National Institute of Science and Technology for Software Engineering.

Groups

Co-authors (59)