I am a PhD student in the School of Mathematical and Computer Sciences at Heriot-Watt University in Edinburgh, having started in October 2006. My supervisor is Dr. Andrew Ireland and my second supervisor is Dr. Jamie Gabbay. I am a member of the Dependenable Systems Group here at Heriot-Watt and the Mathematical Reasoning Group at Edinburgh University.

My Research Interests are:

• Automated Reasoning
• Applications of Logic
• Formal Methods
• Lambda Calculus
• Functional Programming

My chosen thesis topic is Automated Reasoning for Separation Logic. I am going to attempt to extend Smallfoot and its related tools and integrate the result with IsaPlanner to produce an extensible program analyser, which will be called NuSmallfoot. You can find out more in my first year report which gives a motivation for this work and a proposed work plan.

I came to Heriot-Watt after completing my BSc (Hons) in Computer Science at Edinburgh University in 2006. My dissertation was entitled Extending the Capabilities of Anastasia and can be found here. I performed an investigation into integrating a termination checker into Anastasia, a structural editor for functional programming languages. I also wrote a Haskell grammar so that Anastasia can be used for writing Haskell programs. You can find out more about Anastasia here.