Our current focus is on applying model-based methods in developing and managing several of the most demanding types of computing system. Our work spans research, teaching and innovation through engagement with external organisations.
- To equip systems and software engineering practitioners with sound and effective methods and tools for developing the most demanding classes of product.
- To explore and evaluate a new generation of theories for handling the design of concurrent and asynchronous systems.
- To improve techniques and tools that support formal reasoning about both abstract models and their realisations in design steps.
Our expertise ranges from concurrency and verification techniques to model-based engineering and cyber-physical systems. Our goal is to establish Newcastle as one of the UK’s leading centres for research in design methods for cyber-physical systems.