ESS brings together expertise in computer science and electronic engineering to develop novel insights and developments in theoretical foundations, including program semantics, logics, programming and modelling languages and statistical analysis.
ESS’s research in electronics and computer science is enabling major advances in the engineering of electronic and software systems. The group’s research explores and develops theoretical foundations; modelling and programming languages; engineering methods; design tools and system engineering applications.
The ESS group applies its foundations, methods and tools to construct a range of electronic and software systems, including:
Electronic and Software Systems
Electronics and Computer Science
University of Southampton
Tel: +44 (0)23 8059 2338