david boris paul deharbe

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Perfil Pessoal

Descrição pessoal
Professor Associado.
Atuação em Ciência da Computação.
Membro do grupo de pesquisa "Forall - Formal Methods and Languages Laboratory".
Membro associado da equipe "VeriDis - Verification of Distributed Systems", do LORIA (http://veridis.loria.fr).
Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Desde abril de 1997, trabalho no Departamento de Informática (DIMAp) da UFRN, inicialmente como professor substituto, professor visitante, bolsista, etc. Eu fui contratado no quadro permanente da instituição em março de 1999.

Realizei um período sabático, também conhecido como pós-doutorado, em 2002 no LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), sediado na cidade de Nancy, França.

Trabalhei como pesquisador visitante na Carnegie Mellon University entre fevereiro de 1995 e janeiro de 1997, na equipe do Prof. Edmund Clarke, (co)recipiente do prêmio Turing em 1997.

Graduação, Mestrado e Doutorado, todos foram realizados na área de Ciência da Computação, e foram obtidos na Universidade de Grenoble (Franca), em 1990, 1991 e 1996, respectivamente. Também obtive um diploma universitário (DEUG) da Universidade de Lorraine em 1988, na área de Matemática e Física.

On the World Wide Web, I maintain http://ufrn.academia.edu/DavidDeharbe and http://sites.google.com/site/deharbe, two sites with professional information.
Áreas de Interesse (áreas de interesse de ensino e pesquisa)
Engenharia de software; Métodos formais; Prova automática de teoremas; Linguagens de programação.
Currículo Lattes:
http://lattes.cnpq.br/2985658685449858

Formação Acadêmica

- GRADUAÇÃO

Université Joseph Fourier - Grenoble I
- MESTRADO

Institut National Polytechnique de Grenoble
- DOUTORADO

Université Joseph Fourier - Grenoble I
- PÓS-DOUTORADO

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Contatos

Endereço profissional
Dept de Informatica e Matematica Aplicada
Campus Universitario
59078-970 Natal, RN
BRASIL
Sala
12
Telefone/Ramal
3814 r:224
Endereço eletrônico
não informado

SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa13-producao.info.ufrn.br.sigaa13-producao v3.33.7