Professor of Computing Science at University of Oxford; Head of the Department of Computer Science (2003 – 2014); Fellow of the Royal Academy of Engineering; Fellow of the Academia Europeae and winner of a number of prizes. Bill has recently partially retired from Oxford to lead Chieftin Lab, but continues to research and teach there and to chair a number of Oxford Committees. He has been a Fellow of University College Oxford since 1983. Bill is recognised as a world leading authority on concurrency, automated verification and computer security. Under his leadership Oxford’s computer science department grew to being one of the largest in the U.K., ranked 3rd in the world by QS and having about 450 researchers (academics, research staff and research students). Bill has published 3 books, about 175 research papers and number of patents. Chieftin Lab will be licensing his portfolio of security patents from Oxford.