邓芮萱

邓芮萱

博士研究生

清华大学

研究方向

  • 形式化验证

  • 量子网络模拟

教育经历

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

    2020

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

    2024

最新发表

Bin Cheng, Ziyuan Wang, Ruixuan Deng, Jianxin Chen, Zhengfeng Ji (2025). Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams.

引用 arXiv URL

Huiping Lin, Ruixuan Deng, Chris Z. Yao, Zhengfeng Ji, Mingsheng Ying (2025). Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks. IEEE INFOCOM 2025 - IEEE Conference on Computer Communications.

引用 DOI