Aalborg University has world-leading researchers in the areas of structural operational semantics and type- and logic-based techniques for the analysis of software. Aalborg University has collaborated with other BEHAPI partners since the 1990s, has ongoing collaborations with other partners (e.g. NOVA, University of Bologna, and University of Malta) and this has led to papers in high-ranking journals and at important conferences. These activities will continue in the setting of WP2, WP3 AND WP4. Aalborg University contributes in the activities that involve type-based analyses of APIs.