marcel vinicius medeiros oliveira

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

Perfil Pessoal

Descrição pessoal
não informada
Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
- Bacharelado em Ciência da Computação - Centro de Informática - UFPE
- Mestrado em Ciência da Computação - Centro de Informática - UFPE
- PhD em Ciência da Computação - Department of Computer Science - University of York
Áreas de Interesse (áreas de interesse de ensino e pesquisa)
Métodos Formais
Concorrência
Refinamento
Semânticas
Desenvolvimento de Ferramentas
Currículo Lattes:
http://lattes.cnpq.br/1756952696097255

Formação Acadêmica

Formação acadêmica não cadastrada

Contatos

Endereço profissional
Campus Universitário - Lagoa Nova
Natal, RN
Brasil
CEP: 59078-900
Sala
IMD B323
Telefone/Ramal
32153814/215
Endereço eletrônico
não informado

SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2024 - UFRN - sigaa12-producao.info.ufrn.br.sigaa12-producao v4.12.15