Marcel Oliveira

Current Position

Professor
Departamento de Informática e Matemática Aplicada
Universidade Federal do Rio Grande do Norte

Professional Assignments

Professor and Researcher at UFRN
Associate Director of Education of the Instituto Metrópole Digital (IMD/UFRN)
Coordinator of Technical Courses of the Instituto Metrópole Digital (IMD/UFRN)
Vice-Coordinator of Integrating Center for Research and Innovation in Software Engineering (SETE)
Member of the Academic Development Committee of the Instituto Metrópole Digital (IMD/UFRN)
Member of the National Institute of Science and Technology for Software Engineering (INES)
Member of the Special Committee on Formal Methods of the Brazilian Computer Society
Member of the Collegiate of the Graduate Program in Systems and Computing (PPgSC) at UFRN

Recent Teaching

Databases
Logic Applied to Software Engineering
Formal Methods
Specification and Verification of Programs

Research Interests

Formal Methods
Formal Methods Integration
Concurrency
Refinement
Formal Languages Semantics
Code Synthesis

Contact

alternate_email marcel[at]dimap.ufrn.br

phone +55 (84) 3342-2216 (ext. 119)

business Instituto Metrópole Digital - CIVT - Room B323

email UFRN Campus Universitário - Natal, RN - Brasil. CEP: 59.078-970

map Map