Please be welcome, and thanks for your interest.

I am associate professor (Professor Associado) in the Department of Informatics and Applied Mathematics of the Federal University of Rio Grande do Norte (Natal, Brazil). I am a member of the research group ForAll (Formal Methods and Languages Laboratory) and recipient of a level-2 research productivity grant by CNPq.

I am an associate member of VeriDis team, colocated at INRIA (Nancy, France) and Max-Planck Institute (Saarbrücken, Germany).

You may also be interested to my institutional web page:

David Déharbe.

Subpages (1): lecturing