Faron Moller is Professor of Computer Science at Swansea University where he heads the Railway Verification Research Group. His main research interests are in theoretical computer science, specifically formal verification techniques, as well as digital education. He is past president of the BCTCS; former dean of the research faculty at Swansea University; and a fellow of BCS, IMA, and LSW, the Learned Society of Wales. He is also Director of Technocamps, a schools and community outreach unit established in 2003 at Swansea University and now with a hub in every university in Wales, and of the Institute of Coding in Wales.