We perform research in a variety of Software Engineering areas, including:

• Verification and validation
• Requirements engineering
• Requirements traceability via information retrieval
• Software maintainability