Canh Minh Do
Assistant Professor, JAIST, Japan

Hi, I am Canh, an assistant professor at the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST). 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 emerging 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 of FAVPQC 2023, WRLA 2024, and ICFEM 2024.
- Collaboration as a reviewer at JSS 2021 and JLAMP 2025.
news
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). ![]() |
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). |
Nov 26, 2024 | Our paper, titled Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic, has been accepted for publication in ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and selected for a JAIST press release (link). ![]() |
Sep 27, 2024 | I am delighted to have the opportunity to visit Prof. Santiago Escobar at Universitat Politècnica de València (UPV) in Valencia to conduct research on formal specification and verification of post-quantum cryptographic protocols, variant-based unification, and narrowing. ![]() |