Skip to content


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.

close tray menu