· Professor of Theoretical Computer Science, University of Edinburgh2003–2000
· Researcher, Avaya Labs2000–2003
· Researcher, Bell Labs, Lucent Technologies1996–2000
· Professor, University of Glasgow1993–1996
· Reader, University of Glasgow1990–1993
· Lecturer, University of Glasgow1987–1990
· Visiting Fellow, Chalmers University of Technology1986–1987
· Doctor of Philosophy, Carnegie Mellon University1984–
· Postdoctoral Researcher, University of Oxford1983–1987
· Master of Science, Carnegie Mellon University1979–
· Graduate Student, Carnegie Mellon University1977–1982
· Bachelor of Science, Stanford University1977–
· Undergraduate, Stanford University1973–1977
· Senior Research Fellow, IOHK