Dr Ivor Spence CMath MACM, is a Reader in Computer Science at Queen’s University Belfast. He has a first-class BSc in Mathematics and Computer Science and a PhD in Computer Science. He has five years of industrial experience as a systems and software engineer and has research experience in the fields of domain specific languages, automated software generation, high performance and distributed computing and automated reasoning. He has recent research and development experience in the use of GPUs for general-purpose computing, in particular for scientific programming and image processing. He has been principal investigator on a number of projects funded by industry including Knowledge Transfer Programmes. He currently leads the Artificial Intelligence Research Theme within the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. Dr Spence has published more than 50 research papers.