Prof. Richard J Fateman ACM Fellows (1999) ACM Fellows USA - 1999 citation For seminal contributions to the development of MACSYMA and symbolic processing systems.