Education
Bachelor of Science, Stanford University, California, 1977. Doctor of Philosophy, Carnegie Mellon University, Pittsburgh, 1982.
Career
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.
