The University of Southampton

The CPS group focuses on the following main research themes

  • Formal Design Methods
  • Autonomous and Intelligent Systems
  • Internet of Things and Pervasive Systems
  • Programming Languages and Verification
  • Software Engineering and Agile Methods
  • Embedded Systems
  • Distributed Systems

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.