The University of Southampton

CPS undertakes research in a multidisciplinary environment across Electronics and Computer Science that enables advances in the engineering of cyber physical systems.

Electronic and Software Systems

Our work involves the exploration and development of theoretical foundations, modelling and programming languages, engineering methods, design tools and system engineering applications.

  • Our research on theoretical foundations includes program semantics, logics, programming and modelling languages and statistical analysis.
  • Our research on engineering methods include requirements analysis, model-based design, program construction and generation, verification methods and system optimisation.
  • Our tool development work includes tools for formal modelling, model verification, program verification, simulation, optimisation and testing.

We apply our foundations, methods and tools to construction of a range of electronic and software systems including pervasive systems, embedded systems, distributed systems, healthcare systems, mobile devices and information services.

Head of Group - Professor Steve Gunn
Head of Group - Professor Steve Gunn
Contact us

Cyber Physical Systems Research Group
Electronics and Computer Science
University of Southampton
SO17  1BJ

Tel: +44 (0)23 8059 2338

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.