TOP  >  Personal Info.
DO, Minh Canh Senior Lecturer
Information Science, Computing Science, Transition Arena for Quantum Materials and Information Sciences (taQumi) (Neo Excellent Core)
◆Degrees
Ph.D. in Information Science Japan Advanced Institute of Science and Technology
M.S. in Information Science Japan Advanced Institute of Science and Technology
◆Professional Experience
2025 - : Japan Advanced Institute of Science and Technology , Computing Science , Senior Lecturer
2023 - 2025 : Japan Advanced Institute of Science and Technology , Computing Science , Assistant Professor
◆Specialties
Software
◆Research Keywords
Specification, Verification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information

■Publications

◆Published Papers
A Divide and Conquer Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, -, 2026
Parallel Maude-NPA for Cryptographic Protocol Analysis
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
IEEE Transactions on Dependable and Secure Computing, 22, 6, 6714-6731, 2025
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, 34, 6, 1-36, 2025
Symbolic Model Checking Quantum Circuits in Maude
Canh Minh Do, Kazuhiro Ogata
PeerJ Computer Science, 10, e2098-e2098, 2024
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, 32, 6, 151-38, 2023
◆Conference Activities & Talks
Automated Quantum Protocol Verification with Concurrent Dynamic Quantum Logic in Maude
The 16th International Workshop on Rewriting Logic and Its Applications, 2026
QRAT: A Reachability Analysis Tool for Quantum Programs
JAIST-Vietnam Research Exchange Meeting (JVREM), 2025
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
IPSJ/SIGSE Software Engineering Symposium (SES 2024), 2024
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
La Trobe-Kyushu Joint Seminar on Mathematics for Industry, 2024

■Teaching Experience

i217 Functional Programming, i116 Fundamentals of Programming, i217e Functional Programming

■Contributions to  Society

◆Social Contribution
・ The 27th International Symposium on Formal Methods (FM 2026, Tutorial Track) , Technical Program Committee 2026 - 2026
・ The 16th International Workshop on Rewriting Logic and Its Applications (WRLA 2026) , Technical Program Committee 2026 - 2026
・ The 38th International Conference on Software Engineering & Knowledge Engineering (SEKE 2026) , Technical Program Committee 2026 - 2026

■Academic  Awards

・ Best Paper/Presentation Award for Young Researcher , The 15th International Workshop on Rewriting Logic and Its Applications (WRLA 2024) , 2024
・ Outstanding Student Award , Japan Advanced Institute of Science and Technology , 2022
・ Special Doctoral Research Fellow (DRF) , Japan Advanced Institute of Science and Technology , 2019