2
Publications
50
Citations
2
H-Index
2019
Active since
Affiliations
University of Maryland, College Park(Current)
Shaopeng Zhu is an author at University of Maryland, College Park specializing in formal verification, quantum science, and quantum programming.
Top concepts
EngineeringFormal MethodsQuantum ScienceComputer ScienceQuantum ComputingQuantum AlgorithmsFormal VerificationQuantum ProgrammingQuantum EntanglementQuantum Error Correction
Publications per year
2019–2020
2
2
Quantitative robustness analysis of quantum programs
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu et al. · 2019 · 39 citations
On the principles of differentiable quantum programming languages
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti et al. · 2020 · 11 citations · Full text
Rows per page
1–2 of 2