Yiyang Zhou

Yiyang Zhou

M.Sc. Candidate

Zhejiang University

I am currently working on my Bachelor’s thesis at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. My research focuses on the formal verification of Decoy-State QKD Protocols. Later in 2025, I will join the group as a M.Sc. candidate.

Interests

  • Programming Theory/Languages
  • Formal Methods
  • Quantum Communication Protocols

Education

  • M.Sc. in Software Engineering, 2028

    Zhejiang University

  • B.Sc. in Computer Science, 2025

    Soochow University

Publications