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.

ESS provides a multidisciplinary environment that facilitates research across Electronics and Computer Science leading to novel insights and developments. Members of the group include leading researchers in Computer Science and leading researchers in Electronic Engineering.

The Electronic and Software Systems (ESS) Group undertakes research covering Electronics and Computer Science that enables advances in engineering of electronic and software systems. Our research involves the exploration and development of theoretical foundations, modelling and programming languages, engineering methods, design tools and system engineering applications.