· AI Advisor, Health Data Research UK (HDR UK)2025–
· Professor Emeritus, The University of Edinburgh2024–
· Chief Scientific Advisor UK, Huawei2022–
· Vice Principal and Head of College of Science & Engineering, The University of Edinburgh2017–2022
· Head of School of Informatics, The University of Edinburgh2009–2017
· Chair of Applied Logic, The University of Edinburgh2008–2024
· College Baseball Player, University of Alabama2005–2006
· Associate Professor, The University of Edinburgh2002–2008
· Director of the Centre for Intelligent Systems and their Applications, The University of Edinburgh2002–2009
· Doctoral Studies, Universitat Autònoma de Barcelona1997–2000
· Assistant Professor, The University of Edinburgh1988–2002
· Research Staff, The University of Edinburgh1984–1988
· Professor of Applied Logic, The University of Edinburgh