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