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

- MESTRADO
Mestrado em Ciência da Computação
Universidade Federal de Pernambuco
- PÓS-DOUTORADO
Pós-Doutorado
Universidade Federal de Pernambuco
- GRADUAÇÃO
Bacharelado em Ciência da Computação
Universidade Federal de Pernambuco
- DOUTORADO
Doutorado em Ciência da Computação
University of York

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 Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa04-producao.info.ufrn.br.sigaa04-producao v3.33.2