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