 His PhD was supervised by Gerald Sussman.He served on the faculty of Cornell University for the academic year of 1987-1988 and on the faculty of MIT from 1988 to 1995.He was a member of technical staff at AT&T Labs-Research from 1995 to 2002.