Prof. Adolfo Neto (DAINF-UTFPR)

This is an old revision of the document!

---

• Current Research Projects

• Meetups
  • Developer Productivity – includes Meetups and Software Craftmanship
• Software Security

• Productivity

• Advisor
• Proof Methods for Paraconsistent Logics
• Software Engineering
• Reflective Research
• Reviewer