卞晓宁

卞晓宁

博士后研究员

清华大学

研究方向

  • 量子电路的代数结构（包括电路的标准形式，生成元和关系）

  • 量子电路的形式化证明（使用Agda）

  • 量子电路的合成

经历

  • 博士后研究员 · 清华大学，计算机系

    2025.02-至今

  • 博士后研究员 · 之江实验室

    2023.10-2024.12

  • 兼职讲师 · Dalhousie University，Department of Mathematics and Statistics

    2021.01-2021.04

  • 兼职讲师 · Dalhousie University，Department of Mathematics and Statistics

    2018.02-2018.04

  • 研究助理 · TU Darmstadt，Department of Mathematics

    2016.02-2016.08

  • 研究助理 · UC Berkeley，Simons Institute for the Theory of Computing

    2016.09-2016.12

教育经历

  • 本科 · 北京建筑大学，信息与计算科学

    2007

  • 硕士研究生 · 北京航空航天大学，数学

    2011

  • 博士研究生 · Dalhousie University，Mathematics

    2014