Software Engineering

About Area

In our Software Engineering research, we aim to transform system development by making it more secure, efficient, and sustainable. To achieve this, we apply rigorous approaches to ensure software quality—from design to implementation—using formal guarantees to ensure correct system behaviour. Learn more here.

We explore new ways to make systems more sustainable and to optimise complex processes, including those involving large-scale data or computation, reducing resource requirements and improving energy efficiency.

Our work also addresses user interaction, designing more intuitive and accessible interfaces that ensure a smooth and effective user experience.

We also investigate the potential of quantum computing in software engineering, studying how it can be integrated to create faster more secure systems that are equipped to tackle complex challenges.

In doing so, we contribute to a more responsible and innovative digital future, ready to meet the challenges of tomorrow.