Márcio Cornélio

Márcio Cornélio

Lecturer @ CIn-UFPE (BR)

CIn-UFPE

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