We are a research group at the Informatics Engineering Departament (DEI) of the Faculty of Engineering of the University of Porto (FEUP), hosted at the Software Engineering Laboratory. Some of the members are also affiliated with INESC TEC.

Our mission is:

  • to develop novel methods, techniques, and tools that advance the way in which software is designed, synthetised and assessed;
  • to ensure that our research results have a lasting impact in software development practice;
  • to offer students an education that prepares them to take a leading role in complex software development projects; and
  • to contribute to improve the competetiveness of the industry.