Richard J. Fateman

Larger Photo

Contact Information

441 Soda Hall

tel: 510-847-2368

fateman@cs.berkeley.edu

Office Hours

BY APPT, 441 Soda

Links

Personal Homepage

Publications

Dissertations

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.

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

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.

Association for Computing Machinery (ACM) Fellow, 1999

Richard J. Fateman: Faculty Home Page