Marcel Vinicius Medeiros Oliveira

Marcel Vinicius Medeiros Oliveira is a Reader of the Department of Informatics and Applied Mathematics (DIMAp) of the Federal University of Rio Grande do Norte (UFRN). He holds a Bachelor's Degree in Computer Science from the Federal University of Pernambuco (2000), a Master's Degree in Computer Science from the Federal University of Pernambuco (2002) and a Ph.D. in Computer Science from the University of York, England (2006). Currently, he is a member of the National Institute of Software Engineering, a member of the Special Committee on Formal Methods of the Brazilian Computer Society, a member of the UFRN's Graduate Program in Systems and Computing (PPgSC) and Coordinator of the Technical Courses at the Institute Digital Metropolis of UFRN with about 2000 students. At Institute Digital Metropolis, he is a collaborating member, in addition to being a member of the Academic Development Committee, Deputy Director of Teaching and Vice-Coordinator of SETE, Center for Integration, Research and Innovation in Software Engineering of the Institute. Marcel Oliveira has experience in the area of ​​Computer Science, with emphasis on Formal Methods. More specifically, his research has focused on computation and refinement tactics, competition, semantics of formal languages, integration of formal methods, and synthesis of code from formal specifications. He has taught the disciplines of Database, Applied Logic to Software Engineering and Formal Methods.

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.