Research interests:
  • Formal methods
  • Software verification and evolution
  • Contract-based programs
  • Conformance checking
  • Tests

Here are my publications.

Master Dissertation
My Master Dissertation and some details of my Master's work are available here
.

Contact info

Av. Aprígio Veloso, 882
Software Productivity Lab (SPLAB)

58429-900, Campina Grande - PB

+55 83 2101-5786
+55 83 99928-7821