Joel Moses ACM Fellows (2008) ACM Fellows USA - 2008 citation For developing the Macsyma computer system for formula manipulation.