彭梓健

彭梓健

博士研究生

清华大学

研究方向

  • 量子程序形式化验证

教育经历

  • 本科 · 清华大学计算机科学与技术系

    2021

  • 博士研究生 · 清华大学计算机科学与技术系

    2025