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.

Professor Steve Gunn
Professor Steve Gunn

Contact us

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

Email:srg@ecs.soton.ac.uk 
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.

×