 in mathematics from Columbia University in 1968, and his Ph.D. in mathematics from Harvard University in 1975.He was an assistant professor in the Mathematics Department of the University of Massachusetts Boston from 1973 to 1978.In 1978 he joined the IBM 801 project in the Computer Science Department of the Thomas J. Watson Research Center in Yorktown Heights, New York, and moved to the Mathematics Department in 1984.