I am a Research Associate at the Centre for Intelligent Systems and their Applications of the School of Informatics at the University of Edinburgh. My research involves modelling and reasoning about complex workflows with the use of artificial intelligence techniques, such as formal methods and intelligent agents. I currently work for WorkflowFM, a health informatics project led by Jacques Fleuriot. I completed my PhD in 2012, under the supervision of Jessica Chen-Burger and Michael Rovatsos. My PhD thesis title is "Analysing Supply Chain Operation Dynamics through Logic-Based Modelling and Simulation".
More info here.