Prof. Adolfo Neto (DAINF-UTFPR)

This is an old revision of the document!

---

• Meetups, Developer Productivity
• Software Security

• Productivity

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