Research

• Software Engeneering
• Formal Methods
• Object Oriented Programming
• Aspect Oriented Programming
• Compilers
• JML - Java Modeling Language
• JCML - Java Card Modeling Language

Other Areas

• Theology
• Philosophy
• Sociology

Tools

• Miktex
• Tex User Group
• Eclipse
• Netbeans
• TopStyle

Eventos 2008

• SBLP
• SBMF
• SBES / SBBD