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.