The following research challenges have been targetted in recent work:

• How to model, design and reason rigorously about highly complex software systems (including forms of composition, coordination, interaction and deployment)?
• How to derive correct software from abstract models (oriented to critical aspects of system's design such as eg, functionality, security, data quality and usability)?
• How to reconstruct abstract models from the real world (including legacy software and incomplete or inconsistent data sources)?

Research Partnerships:

• Aarhus Universitet (DK)
• Chalmers TH (SE)
• CSK (JP)
• CWI (NL)
• IHA (DK)
• IIST-UNU (Macau-CN)
• INRIA Sophia-Antipolis (FR)
• Instituto Politécnico de Bragança (ESTIG/DIC) (PT)
• Instituto Politécnico do Porto (ISEP/DEI/GECAD) (PT)
• King's College London (GB)
• Oxford Comlab (GB)
• Overture Project
• Peking University (CN)
• Sintef - Oslo (NO)
• U. Beira Interior - DCC (PT)
• U. Bristol (GB)
• U. Maribor (Programming Methodologies Lab) (SI)
• U. Minho Maths Dept. (PT)
• U. Newcastle (GB)
• U. Nottingham (GB)
• U. P. Valência (ES)
• U. Vigo (ES)
• U. Porto - FEUP (PT)
• U. Porto - LIACC (PT)
• Tallinn Univ. of Techn. (EE)

Industrial Liaisons:

• SIG (NL)
• EFACEC (Automação de Sistemas de Energia) (PT)
• Multicert (PT)
• Museu da Emigração e das Comunidades (CMFafe) (PT)
• Sidereus (PT)