Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

Future Blog Post

less than 1 minute read

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

publications

Quantum Hamiltonian Certification

Published in Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2026), January 2026

Minbo Gao, Zhengfeng Ji, Qisheng Wang, Wenjun Yu, Qi Zhao. "Quantum Hamiltonian Certification." Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2026), 1424-1467. doi: 10.1137/1.9781611978971.53.
Download Paper

Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions

To appear in 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026), July 2026

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Tianshi Yu, Li Zhou. "Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions." To appear in the 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026).
Download Paper

Quantum Multi-Level Estimation of Functionals of Discrete Distributions

To appear in 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026), July 2026

Kean Chen, Minbo Gao, Tongyang Li, Qisheng Wang, Xinzhao Wang. "Quantum Multi-Level Estimation of Functionals of Discrete Distributions." To appear in the 53rd International Colloquium on Automata, Languages, and Programming (ICALP 2026).
Download Paper