DocentesBiografia
Marcel Vinicius Medeiros Oliveira é Professor Associado 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