Nós usamos cookies para melhorar sua experiência de navegação no portal. Ao utilizar o Portal de docentes da UFRN, você concorda com a política de monitoramento de cookies. Para ter mais informações sobre como isso é feito e como remover, acessePolítica de cookies. Para saber como a UFRN trata os dados, acesse aPolítica de Privacidade. Se você concorda, clique em "Ciente".

MARCEL VINICIUS MEDEIROS OLIVEIRA

DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Acessar Currículo Lattes  

Biografia

Marcel Vinicius Medeiros Oliveira é Professor Titular do Departamento de Informática e Matemática Aplicada (DIMAp) da Universidade Federal do Rio Grande do Norte (UFRN). Ele possui Bacharelado em Ciência da Computação pela Universidade Federal de Pernambuco (2000), Mestrado em Ciência da Computação pela Universidade Federal de Pernambuco (2002) e é Ph.D. em Ciência da Computação pela Universidade de York, Inglaterra (2006). Atualmente, ele é membro do Instituto Nacional de Engenharia de Software, membro do Comitê Especial de Métodos Formais da Sociedade Brasileira de Computação, membro do Colegiado da Pós-Graduação em Sistemas e Computação (PPgSC) da UFRN, e Coordenador de Cursos Técnicos do Instituto Metrópole Digital da UFRN com cerca de 2000 alunos. No Instituto Metrópole Digital, ele é membro colaborador, além de ser membro da Comissão de Desenvolvimento Acadêmico, Diretor Adjunto de Ensino e Vice-Coordenador do SETE, Núcleo de Integração, Pesquisado e Inovação em Engenharia de Software do Instituto. Marcel Oliveira tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais. Mais especificamente, sua pesquisa tem focado em cálculo e táticas de refinamentos, concorrência, semântica de linguagens formais, integração de métodos formais e síntese de código a partir de especificações formais. Ele tem ensinado as disciplinas de Banco de Dados, Lógica Aplicada à Engenharia de Software e Métodos Formais.

Formação Acadêmica

Áreas de Atuação

Não foi encontrada nenhuma informação para esta seção.

Contatos

E-mail
marcel139@gmail.com