The University of Southampton

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

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.