The Trustworthy Systems group focuses on creating software systems that fit the needs of modern users. This includes security, safety and reliability to make sure there is a standard across software creation to ensure all users have a positive experience.
Our current research covers areas including:
- operating systems
- formal methods
- programming languages
- operating system kernels.
