Education
Bachelor of Science, Stanford University, California, 1977. Doctor of Philosophy, Carnegie Mellon University, Pittsburgh, 1982.
Bachelor of Science, Stanford University, California, 1977. Doctor of Philosophy, Carnegie Mellon University, Pittsburgh, 1982.
Research fellow Oxford University, England, 1983—1987. Lecturer, reader, professor Glasgow University, Scotland, 1987—1996. Member technical staff Bell Laboratories, Murray Hill, New Jersey, 1996—2000, Avaya Laboratories, Basking Ridge, 2000—2003.
Professor theoretical computer science University Edinburgh, since 2003.