• Research Team
  • Researchers
  • - Hall, Jon
  • - Laney, Robin
  • - Rapanotti, Lucia
  • - Tun, Thein
  • - Yu, Yijun

Requirements engineering (RE) is concerned with identifying the purpose of a software system, and the contexts in which it will be used.


It acts as a bridge between the real world needs of users, customers, and other constituencies affected by a software system, and the capabilities and opportunities afforded by software-intensive technologies.

We have broad range of interests in this area, but focus on problem-oriented approaches to the representation and analysis of requirements, and formal analysis techniques for reasoning about partial, ambiguous, and inconsistent descriptions, including natural language requirements, formal specifications, and security policies.

We also focus on the relationships between problem and solution structures, such are software requirements and architectures, respectively.