Joyce Friedman
From Wikipedia, the free encyclopedia
Joyce Barbara Friedman (1928 – November 28, 2018)[1][2] was an American mathematician, operations researcher, computer scientist, and computational linguist who worked as a professor at the University of Michigan and Boston University[1] and served as president of the Association for Computational Linguistics.[3]
Friedman was born in 1928. She was a Durant Scholar at Wellesley College,[4] from which she graduated in 1949, and earned a master's degree at Radcliffe College in 1952.[1] In the same year she moved from the Logistics Research Project at George Washington University to the US Department of Defense,[5] later working at a succession of defense contractors: ACF Industries (where she worked with Sheldon Akers on production scheduling),[6] Tech. Operations, Inc., and the Mitre Corporation.[1]
Returning to graduate study at Harvard University, her interests shifted from operations research to automated reasoning. She completed her Ph.D. in 1965, supervised by Hao Wang, with the dissertation A New Decision Procedure in Logic with a Computer Realization,[7] concerning computational methods in first-order logic.[8]
