# Richard J. Fateman

### Research Areas

- Artificial Intelligence (AI)
- Scientific Computing (SCI), Computer algebra systems
- Programming environments and systems; Programming languages and compilers; Symbolic mathematical computation; Document image analysis, multimodal input of mathematics

## Biography

He received a BS in Physics and Mathematics from Union College in 1966, and a Ph.D. in Applied Mathematics from Harvard University, 1971. His thesis work concerned the design and implementation of algorithms for the Macsyma computer algebra system. He taught in the Mathematics department at MIT from 1971 to 1974 and then joined the Berkeley Computer Science faculty. He was instrumental in originating the work on Berkeley's VAX UNIX system, and led the development of the original Franz Lisp at Berkeley. He served on the Common Lisp design committee and on the IEEE 754 binary floating-point arithmetic standards committee. He served as Berkeley's Computer Science Chair from 1987 to 1990.

He has been the principal investigator on grants from DOE, NSF, and many industrial firms. He has authored more than 75 technical papers, mostly on issues related to computer algebra, programming languages and environments, scientific applications, and document image analysis.

## Selected Publications

- R. J. Fateman, "Software fault prevention by language choice: Why C is not my favorite language," in Advances in Computer, M. Zelkowitz, Ed., Vol. 56, New York, NY: Academic Press - Elsevier, 2002, pp. 168-189.
- R. J. Fateman and B. Char, "Problem solving environments and symbolic computing," in Enabling Technologies for Computational Science: Frameworks, Middleware and Environments, E. Houstis, S. Gallopolous, J. R. Rice, and R. Bramley, Eds., 1 ed., Vol. 548, Norwell, MA: Kluwer Academic Publishers, 2000, pp. 19-43.
- R. J. Fateman, "Symbolic computation of turbulence and energy dissipation in the Taylor vortex model," Intl. J. Modern Physics C, vol. 9, no. 3, pp. 509-525, May 1998.
- R. J. Fateman, T. Tokuyasu, B. P. Berman, and N. Mitchell, "Optical character recognition and parsing of typeset mathematics," J. Visual Communication and Image Representation, vol. 7, no. 1, pp. 2-15, March 1996.
- R. J. Fateman, K. A. Broughan, D. K. Willcock, and D. Rettig, "Fast floating-point processing in Common Lisp," ACM Trans. Mathematical Software, vol. 21, no. 1, pp. 26-62, March 1995.

## Awards, Memberships and Fellowships

- Association for Computing Machinery (ACM) Fellow, 1999