Yes, the full name of the Nuclear Research Institute is Tsinghua University Institute of Nuclear Energy and New Energy Technology, which was established in 1958 and 1960+0. In the early days, it was called Tsinghua University Atomic Energy Base, and the headquarters of Tsinghua University Nuclear Research Institute was in Changping. Construction began in the 1960s, when the northern part of Tsinghua was in the capital. Therefore, the nuclear research institute does not belong to Tsinghua University.