Ally Donaldson Home Page

I hold an EPSRC Postdoctoral Research Fellowship at the University of Oxford Computing Laboratory (since May 2009), and I am also a Research Fellow of Wolfson College (since January 2010).

My research proposal is on Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming and involves Codeplay Software Ltd. and the Software Performance Optimization Group, Department of Computing, Imperial College London, as partners.

Prior to joining the Oxford Computing Laboratory, I worked as a Research Engineer at Codeplay Software Ltd. (January 2007-May 2009) in Edinburgh. Codeplay specialises in optimizing compilers for multi-core processors. I worked on their Sieve C++ Parallel Programming System, which won the Research and Development Award at the European Electronics Industry Awards 2008, and led a development project retargeting their VectorC compiler for a modern VLIW processor.

I obtained my PhD from the Department of Computing Science, University of Glasgow (October 2003-June 2007) under the supervision of Alice Miller. I also received my B.Sc. degree from Glasgow (October 1999-June 2003).

My research interests are software verification, multi-core programming, compilation techniques, and software performance optimization. Although I have a theoretical background and a keen interest in theoretical computer science, I am particularly interested in pragmatic techniques for formal verification, which can be applied to real-world programs. I also have an interest in computational group theory, arising from my thesis work on symmetry reduction for model checking.