 and Ph.D. degrees in mathematics from MIT in 1968 and 1973 respectively.He has been involved in artificial intelligence (AI) research at MIT since 1964.His research has centered on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing it to provide more effective methods of science and engineering education.