Alastair F. Donaldson (Ally) is a Reader in Computing at Imperial College London, where he leads the Multicore Programming Group. Read more.
Hiring for postdoc and PhD positions
I am actively looking to recruit a number of postdoctoral researchers and PhD students, to work on topics including systematic testing and formal verification of software for many-core systems; techniques for automated compiler validation, including investigation of security-related issues arising due to compiler defects; test case generation for so-called “non-testable” systems, including computer vision algorithms; and automated testing techniques to identify nonfunctional software defects, including performance bugs. Please get in touch with me if you’d be interested in talking further about these opportunities, or ideas in related areas.