Software Engineering Group

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.