Canh Minh Do
Senior Lecturer, JAIST, Japan

Hi, I am Canh, a Senior Lecturer in Computing Science 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:
- Member of the program committee for FAVPQC 2023, WRLA 2024, ICFEM 2024, KSE 2025, and FM 2026 (Tutorial Track).
- Reviewer of academic journals for JSS 2021 and JLAMP 2025.
news
Oct 2, 2025 | I am delighted to share that I have become a Senior Lecturer in Computing Science at JAIST, where I run a laboratory on Formal Methods for Quantum Computing (FM4QC). ![]() |
---|---|
Aug 2, 2025 | We warmly welcome Professor Mingsheng Ying from the University of Technology Sydney for his visit to our research group at JAIST. |
Jul 16, 2025 | Our paper, titled Parallel Maude-NPA for Cryptographic Protocol Analysis, has been accepted for publication in IEEE Transactions on Dependable and Secure Computing (IEEE TDSC) and selected for a JAIST press release (link). ![]() |
Feb 27, 2025 | I was honored to give a talk on QRAT: A Reachability Analysis Tool for Quantum Programs at JAIST-Vietnam Research Exchange Meeting (JVREM 2025) in JAIST, Japan (slides). |
Jan 22, 2025 | I was honored to give a talk on QRAT: A Reachability Analysis Tool for Quantum Programs at CNTT định hướng ứng dụng PTIT in Hanoi, Vietnam (slides). |