Career
He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition.
mathematician computer scientist
He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition.
