Shih-Han Hung

Postdoctoral Researcher
Dr. Shih-Han received his PhD in Computer Science from the University of Maryland. He was a doctoral student in computer science from 2015 to 2021.


Select Publications

M. Barbosa, Barthe, G., Fan, X., Grégoire, B., Hung, S. - H., Katz, J., Strub, P. - Y., Wu, X., and Zhou, L.. 2021. EasyPQC: Verifying Post-Quantum Cryptography.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M.. 2021. Proving Quantum Programs Correct.
A. M. Childs, Hung, S. - H., and Li, T.. 2021. Quantum query complexity with matrix-vector products. vol. 198, pp. 55:1-55:19.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.. 2021. A Verified Optimizer for Quantum Circuits.
S. Zhu, Hung, S. - H., Chakrabarti, S., and Wu, X.. 2020. On the Principles of Differentiable Quantum Programming Languages. pp. 153-180, 2020.