I am a post-doctoral researcher at the University of Glasgow, working under Professor Muffy Calder on the Verifying Interoperability Requirements in Pervasive Systems project.
I was granted my PhD from the University of Glasgow, under the supervision of Patrick Prosser. My PhD research was in the area of Constraint Programming and my thesis title is "A Specialised Constraint Approach for Stable Matching Problems". My personal research interests are in the area of efficient solutions for combinatorial optimisation and decision problems.
