I am a postdoc at Academia Sinica, hosted by Kai-Min Chung. Previously, I was a postdoc at the University of Texas at Austin, hosted by Scott Aaronson. I earned my Ph.D. degree in Computer Science at the University of Maryland, advised by Andrew Childs. I received a bachelor’s degree in Electrical Engineering and a master’s degree in Physics at National Taiwan University, advised by Shih-I Chu.

I am broadly interested in quantum information science, with recent focus on demonstrating quantum advantage, verification of quantum devices, and their applications. I have been working on various problems in quantum query complexity, computational complexity theory, (post-)quantum cryptography, and quantum programming languages.

### Contact

Email: shung@cs.utexas.edu

Twitter: @hungshihhan

## Selected Papers

**Non-Interactive Classical Verification of Quantum Depth: A Fine-Grained Characterization**

Nai-Hui Chia, Shih-Han Hung- ePrint 2023/1911
- Subsumes arXiv:2205.04656

**Certified Randomness from Quantum Supremacy**

Scott Aaronson, Shih-Han Hung

**Classical Verification of Quantum Depth**

Nai-Hui Chia, Shih-Han Hung- arXiv:2205.04656
- Presented at the 17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022)
- Presented at 12th International Conference on Quantum Cryptography (QCrypt 2022)

**EasyPQC: Verifying Post-Quantum Cryptography**

Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire,

Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu**Quantum Query Complexity with Matrix-Vector Products**

Andrew M. Childs, Tongyang Li, Shih-Han Hung**Proving Quantum Programs Correct**

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks**On the Principles of Differentiable Quantum Programming Languages**

Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu**A Verified Optimizer for Quantum Circuits**

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks- arXiv:1912.02250
- github.com/inQWIRE/SQIR
- The 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), Proceedings of the ACM on Programming Languages, vol. 5, no. 37, pp. 1–29
- Distinguished Paper of POPL 2021
- ACM Transactions on Programming Languages and Systems (TOPLAS), 45, 3, Article 18

**Non-Interactive Classical Verification of Quantum Computation**

Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung- arXiv:1911.08101
- Presented at the 10th International Conference on Quantum Cryptography (QCrypt 2020)
- Presented at the 24th Annual Conference on Quantum Information Processing (QIP 2021)
- Theory of Cryptography Conference (TCC), Lecture Notes in Computer Science 12552, 153–180

**Quantum Algorithm for Estimating Volumes of Convex Bodies**

Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung,

Tongyang Li, Chunhao Wang, Xiaodi Wu- arXiv:1908.03903
- Presented at the 23rd Annual Conference on Quantum Information Processing (QIP 2020)
- ACM Transactions on Quantum Computing 4, 3, Article 20

**Quantitative Robustness Analysis of Quantum Programs**

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu**Quantum Algorithm for Multivariate Polynomial Interpolation**

Jianxin Chen, Andrew M. Childs, Shih-Han Hung**Optimal Quantum Algorithm for Polynomial Interpolation**

Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski