Márcio Cornélio is a Lecturer at CIn-UFPE. He has experience in Software Engineering, with an emphasis on formal methods, refactoring, and program transformation.
Interests
- Software engineering
- Formal methods
- Object-oriented programming
Education
-
PhD in Computer Science, 2004
CIn-UFPE, Brazil
-
MSc in Computer Science, 1998
CIn-UFPE, Brazil
-
BSc in Computer Science, 1996
UFPB, Brazil