- The Computer Science MPhil program gives students an opportunity to make a unique contribution to computer science research. Their research will be supported by an experienced computer scientist within a research group and with the support of a team of advisers.
- The AMBER group aims to equip systems and software engineering practitioners with effective methods and tools for developing the most demanding computer systems.
- Model-based engineering can help to detect optimally, or defective, designs long before a commitment is made to implementations on real hardware.