George E. Collins

George E. Collins (born January 10, 1928, Stuart, Iowa) is an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition.