I am Lecturer in the Computing Science Department at the University of Glasgow, with an interest in how we can (computationally) model and reason about complex systems, e.g. using Milner’s Bigraphs and associated formal modelling techniques, e.g. probabilistic model checking.
My main research interests are:
My thesis work was focused on creating re-usable high level abstractions (algorithmic skeletons) for parallel tree search problems. This led to the creation of YewPar, a C++ framework for parallel search.
Please visit publications for more information on my research, or get in touch if you want to hear more!