Alastair F. Donaldson

I am co-chairing the SPIN 2012 Workshop on Model Checking of Software. Please consider submitting a paper!

News

New postdoc Peter Collingbourne (May 2012) Peter Collinbourne recently submitted his PhD thesis at Imperial, and will be moving to industry in September; in the meantime he has joined the Multicore Programming group for a short postdoc stint. Peter has worked extensively with the KLEE system, including building KLEE-FP, a dynamic symbolic execution tool which supports analysis of OpenCL kernels.

New postdoc Jeroen Ketema (April 2012) Jeroen Ketema has joined the Multicore Programming Group as a postdoctoral researcher for our EU-funded project, CARP. Jeroen joins us from the University of Twente. Welcome, Jeroen!

VSSE workshop (March 2012) I recently gave a talk at the First Workshop on Validation Strategies for Software Evolution, organised by Hana Chockler who leads the PINCETTE EU project. The workshop had a great mix of talks from the verification and testing communities, concentrating on how to provide meaningful validation of software systems that are under constant revision (i.e., most systems).

Visit to Intel (March 2012) I have been visiting the Operating Systems group at Intel, Portland Oregon, to speak at a workshop on Device Driver Synthesis and Reliability.

Welcoming Project Administrator, Afra Asim (February 2012) I'm pleased to welcome Afra Asim, who has joined the Multicore Programming Group to act as Project Administrator for CARP.

CARP poster at HiPEAC EU Projects Meeting (January 2012) I am about to go to Paris for the HiPEAC 2012 conference, to present a poster on the CARP project. Check out the poster, designed together with Adam Betts (with help from the CARP consortium).

New postdoc Adam Betts (December 2011) I'm delighted that Adam Betts has joined the Multicore Programming Group to work on the CARP project.

CARP project, and new postdoc Adam Betts (December 2011) December sees the kickoff of CARP, Correct and Efficient Accelerator Programming, a three year collaborative project funded by the European Commission's Seventh Framework Programme. I am coordinating the project at Imperial, and the work is in collaboration with seven other European partners from academia and industry. See the project web page for more details!

New PhD student Paul Thomson (October 2011) I'm very pleased that Paul Thomson has started a PhD with me at Imperial. Paul recently completed his MSc in the Department of Computer Science at Oxford, with a project on race detection for concurrent programs using dynamic symbolic execution.

Visiting Researcher at Microsoft Research, Redmond (August 2011) At the end of August I am joining the RiSE group at Microsoft Research in Redmond as a Visiting Researcher, to work for six weeks with Shaz Qadeer and Tom Ball on analysis of concurrent software.

Old News

Short Bio

• November 2011-: Lecturer, Department of Computing, Imperial College London
• August-September 2011: Visiting Researcher, RiSE Group, Microsoft Research Redmond
• January 2010-August 2011: Research Fellow, Wolfson College Oxford
• May 2009-August 2011: EPSRC Postdoctoral Research Fellow, Department of Computer Science, University of Oxford, working in the Formal Verification Group, led by Daniel Kroening
• January 2007-May 2009: Research Engineer at Codeplay Software Ltd.
• July-September 2005: Summer intern, Graham Technology
• October 2003-June 2007: PhD in Computing Science, Department (now School) of Computing Science, University of Glasgow, supervised by Alice Miller
• June-September 2002: Summer intern, Reuters Plc.
• October 1999-July 2003: BSc (hons, First Class) in Computing Science and Mathematics (combined), University of Glasgow

Acknowledgement

The design of this website has been borrowed, with permission, from Daniel Kroening.