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: http://www.docente.ufrn.br/deharbe.