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

Head of Research Group

Our People