Scholar
Yuan Feng
Google Scholar ID: iJD-WFUAAAAJ
Tsinghua University
Citations & Impact
Citations
1,852
H-index
25
i10-index
55
Publications
20
Co-authors
19
list available
Contact
No contact links provided.
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published 'Model Checking Quantum Systems: Principles and Algorithms' (Cambridge University Press, 2021). Published multiple journal articles, such as 'Dynamic Transitive Closure-Based Static Analysis through the Lens of Quantum Search' accepted by ACM Transactions on Software Engineering and Methodology (2024).
Research Experience
- Associate Editor of ACM Transactions on Software Engineering and Methodology. In the field of model checking quantum systems, proposed two different quantum Markov chain models and systematically developed model checking methods for linear and branching quantum temporal logic formulas. In quantum program verification, established Hoare logic for quantum programs with classical variables, proving its soundness and relative completeness. Additionally, in the research of quantum communicating systems, proposed the quantum process algebra qCCS and successfully established a notion of bisimulation for quantum processes.
Education
- B.Sc. in Applied Mathematics from Tsinghua University in 1999; Ph.D. in Computer Science and Technology from Tsinghua University in 2004.
Background
- Research interests include model checking quantum systems, quantum program verification, and quantum communicating systems.
