Richard Fateman

Richard Fateman
Name	Richard Fateman
Birth date	1940s
Nationality	American
Fields	Computer science, Computer algebra, Programming languages
Workplaces	University of California, Berkeley; Xerox PARC; Symbolics
Alma mater	University of California, Berkeley; Massachusetts Institute of Technology
Known for	Computer algebra systems, TeX-related software, Lisp implementations

Richard Fateman

Richard Fateman is an American computer scientist noted for contributions to computer algebra, programming language implementation, and computational software design. Over a career spanning industry research laboratories and academia, he worked on symbolic computation systems, text processing tools, and language runtimes, influencing developments at institutions such as Xerox PARC, Symbolics, and the University of California, Berkeley. His work intersects with figures and organizations in computing history and with projects that shaped modern software tooling.

Early life and education

Fateman completed his undergraduate and graduate studies at leading institutions in the United States. He studied at the Massachusetts Institute of Technology where he engaged with communities around early LISP development, Artificial Intelligence Laboratory research, and computing pioneers. He later pursued advanced study at the University of California, Berkeley, connecting with faculty and research groups active in systems programming, Berkeley Software Distribution, and programming language theory.

Academic and professional career

Fateman held positions in prominent research environments including corporate laboratories and university departments. He worked at Xerox PARC, collaborating in an ecosystem that included projects like the Alto and research into user interfaces, programming environments, and networked systems. He collaborated with engineers from Symbolics during the era when specialized Lisp machines were developed, and his implementations influenced discussions at companies such as SUN Microsystems and academic groups at Stanford University. At the University of California, Berkeley, he served as a faculty member in departments that interacted with projects like BSD and courses tied to programming languages originally explored at Carnegie Mellon University and MIT.

Research contributions and interests

Fateman's research centers on symbolic computation, language implementation, and software tools for typesetting and mathematics. He contributed to the design and optimization of computer algebra systems comparable to work at Macsyma, Mathematica, and Maple, and investigated algorithmic problems also addressed by researchers at the Institute for Advanced Study and the National Institute of Standards and Technology. His interests included numeric stability and exact arithmetic techniques used in contexts researched at Bell Labs and IBM Research, and he published on methods related to expression simplification, pattern matching, and algebraic normalization reflecting concerns shared with groups at Cornell University and Princeton University. Fateman also explored document processing and typesetting software influenced by the TeX ecosystem developed by Donald Knuth and work on font technologies associated with Adobe Systems.

Teaching and mentorship

As an educator, Fateman taught courses and supervised students who later joined academic and industrial groups such as Google, Microsoft Research, Amazon, Apple Inc., and national laboratories including Lawrence Berkeley National Laboratory. His mentorship connected graduate students to research strands at institutions like Harvard University, Yale University, and University of Illinois Urbana-Champaign. Classroom topics covered programming languages, compiler construction, and symbolic computation, mirroring curricula found at Massachusetts Institute of Technology, Carnegie Mellon University, and Stanford University, and preparing students for roles in software engineering, research engineering, and academic scholarship.

Awards and honors

Fateman's career earned recognition from professional organizations and peers across computing and mathematics. He participated in conferences and workshops hosted by Association for Computing Machinery, IEEE, SIAM, and specialized symposiums on symbolic and algebraic computation such as those organized by the International Symposium on Symbolic and Algebraic Computation. His work was cited in proceedings alongside contributions from recipients of prizes like the Turing Award and honors awarded by societies including the American Mathematical Society and the American Association for the Advancement of Science.

Publications and selected works

Fateman authored and coauthored papers and software artifacts influential in symbolic computation, language runtimes, and document processing. His publications appeared in venues frequented by researchers from ACM SIGPLAN, ACM SIGSAM, IEEE Computer Society, and conference series linked to SIGGRAPH and systems research. Selected areas of output include: - Papers on symbolic integration, simplification algorithms, and the representation of mathematical expressions, in dialogue with work from Macsyma teams and academic groups at University of Utah and University of Cambridge. - Implementations and evaluations of Lisp systems and runtime optimizations that relate to projects at Symbolics and implementations discussed at MIT AI Lab. - Contributions to text processing and typesetting tools referencing standards and practices from TeX Users Group and publications by Donald Knuth.

Fateman's corpus of code, articles, and reviews has been used as reference material by researchers at institutions such as University of California, Santa Barbara, Columbia University, and New York University, and by engineers at commercial research labs. His influence persists through citations, software libraries, and the students he advised.

Category:American computer scientists