Assistant Professor／Innovation Frontier Institute of Research for Science and Technology
Journal articles
"An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits", Communications of the ACM, 68, 6, 85--93, 2025/05, SCI
"Verifying Quantum Circuits with Level-Synchronized Tree Automata", Proceedings of the ACM on Programming Languages, 9, POPL, 923 - 953, 2025/01, SCI&EI
Chapters
On the Verification of Quantum Circuits (Research Challenges and Opportunities), 1, Springer, 978-3-031-97438-0, 2025/08/30
Conference papers
"Verifying Repeat-Until-Success Circuits with AutoQ", The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026), Rennes, 2026/01/12
"Parameterized Verification of Quantum Circuits", 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026), Rennes, 2026/01/11
"Analysing Quantum Programs using Automata", First Workshop on Verification of Quantum Computing (VQC 2025), Zagreb, 2025/07/21
"AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs", 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, 2025/05/03
"An Automata-based Framework for Quantum Circuit Verification", The Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025), Denver, Colorado, 2025/01/25
"Verifying Quantum Circuits with Level-Synchronized Tree Automata", 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), Denver, Colorado, 2025/01/19
"AutoQ: An Automata-Based Quantum Circuit Verifier", ACM 35th International Conference on Computer Aided Verification, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Extended Abstract)", 20th International Conference on Quantum Physics and Logic, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits", 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, Florida, 2023/06/17
