Canh Minh Do

Hi, I am Canh, a Senior Lecturer in Computing Science and Transition Arena for Quantum Materials and Information Sciences (taQumi) (Neo Excellent Core) at the Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology (JAIST), where I run a laboratory on Formal Methods for Quantum Computing (FM4QC). My research interests are in the areas of formal methods, such as formal specification, model checking, theorem proving, and tools supporting formal methods. My research focuses on formal specification and verification of concurrent/distributed systems for both conventional and quantum technologies. I obtained my Ph.D. and M.S. degrees in Information Science from JAIST, advised by Prof. Kazuhiro Ogata.

Research interests: Computer Science, Software Engineering, Formal Methods.

Scientific activities:

news

Sep 29, 2026	I was honored to give an invited talk on An Algebraic Specification for Quantum Computation in Maude at Lecture Series on Foundations of Quantum Programming by Professor Mingsheng Ying in Kyushu University, Fukuoka, Japan (slides).
Aug 26, 2026	Our paper, titled A Divide and Conquer Approach to Model Checking Linear Temporal Properties, has been accepted for publication in ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and selected for a JAIST press release (link).
Aug 9, 2026	Our paper, titled QCheck: A Framework for Probabilistic Model Checking of Quantum Programs, has been accepted for publication at the 27th International Conference on Formal Engineering Methods (ICFEM 2026).
Apr 12, 2026	I was honored to give an invited talk on Automated Quantum Protocol Verification with Concurrent Dynamic Quantum Logic in Maude at The 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026) in Torino, Italy (slides).
Mar 18, 2026	Our article, Buidling Trust in the Future of Computing: How JAIST Researchers Are Making Quantum Computing Trustworthy, has been featured as a Feature Story on EurekAlert (link).