【数学学院】王国祯：Computations in topological cyclic homology