戴傲初
博士研究生
清华大学
简介
我来自河南省洛阳市，是清华大学计算机系量子组22级的直博生。除了我提到的研究方向之外，我还对于代码与工程实践比较感兴趣，并致力于将研究领域的理论实用化、规模化。业余生活中，我喜欢习练书法与健身。
研究方向
-
Quantum Model Checking and Verification
-
Quantum Programing Theories
-
Decision Diagram-based Methods to Quantum Computation
教育经历
-
本科 · 清华大学计算机科学与技术系
-
博士研究生 · 清华大学计算机科学与技术系