Software Engineering Group Within the Laboratory for Foundations of Computer Science, our research interests span different areas of software engineering, including software design, model driven development, model transformations, software testing, verification and validation, quality metrics, software energy consumption, machine learning applied to software engineering and economic models of software development. Academic staff Ajitha Rajan Software testing for Blockchain applications, GPU kernels, finite state machines, quality metrics for code, design and requirements, machine learning applied to software testing, software energy consumption. Perdita Stevens Model-driven development from a mathematical perspective, especially issues arising from the use of multiple models by different stakeholders: bidirectional transformations and their languages and use, domain-specific modelling languages, megamodelling, security, traceability, explanation. This article was published on 2024-12-08