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, Logics Applied to Software Engineering and Formal Methods.