Skip to main page content - your browser does not fully support our CSS, or is text-only.
Research Enquiries


Modelling and Analysis of Complex Systems

The Modelling and Analysis of Complex Systems research group brings together colleagues who were previously members of the Applied Formal Methods, Communications and Services and Mathematical Biology groups. It was formed in 2013 to take advantage of the collaborations that were already taking place between members of these groups and to encourage more opportunities for communication between a group of researchers who have distinct but complementary modelling skills and some common application areas.

The main aim of the group is to develop novel methods of modelling and analysis in order to solve important problems which have impact in the real world. Whilst members work on a wide range of systems, they can be classified into two main applications areas: biological systems and communication systems.


Research Students

Current and Recent Visitors

Research Group Meetings 2015

Group meetings take place at 1pm in room 4B108, this year's meetings will take place on 14th and 28th January, 11th and 25th February, 11th and 25th March, 8th and 22rd April, 6th and 20th May, 3rd and 17th June, 1st, 15th and 29th July, 12th and 26th August, 9th and 23rd September, 7th and 21st October, 4th and 18th November, 2nd and 16th December.

Research Activities

Applying Formal methods to design models of biological systems: Our collaboration with evolutionary computation experts is focussed on using high-power computing resources to relieve the modeller of some of the hard work of identifying the right model by automatically constructing the model for them to fit the given experimental data. This frees the modeller up to concentrate on more subtle aspects of modelling, and analysis.

Formal modelling and analysis of E-Science, Web and Grid workflows for automated verification, validation and implementation (,

Formal modelling and analysis of telecare services and sensor/actuator fusion for automated verification, validation and implementation (,,,

Special Session 85: Transport processes in biology: Modelling and analysis (co-organizer) The 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications, July 7-11, 2014, Madrid , Spain (

The 2nd Scottish Partial Differential Equations Colloquium, 15-16 May 2014, ICMS, Edinburgh (co-organizer) (

International Conference on Mathematical Methods and Models in Biosciences and Young Scientists School, Sofia, Bulgaria, June 22-27, 2014 (International Steering Committee member) (

Current and Recent Projects

Other Activities

If you are interested in our work, please contact the group leader:

This page is maintained by:
Computing Science and Mathematics
Faculty of Natural Sciences
University of Stirling, Stirling FK9 4LA
Tel: +44 1786 46 7421

© University of Stirling FK9 4LA Scotland UK • Telephone +44 1786 473171 • Scottish Charity No SC011159
Portal Logon

Forgotten login?