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.