TOP  >  Personal Info.
DO, Minh Canh Senior Lecturer
Information Science, Computing Science
◆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
Parallel Maude-NPA for Cryptographic Protocol Analysis
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
IEEE Transactions on Dependable and Secure Computing, 1-18, 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
A Tableau-based Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science (LNCS), 15394, 353-374, 2024
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
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

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

■Contributions to  Society

◆Social Contribution
・ The 27th International Symposium on Formal Methods (FM 2026, Tutorial Track) , Technical Program Committee 2026 - 2026
・ The 17th International Conference on Knowledge and Systems Engineering (KSE 2025) , Technical Program Committee 2025 - 2025
・ The 25th International Conference on Formal Engineering Methods (ICFEM 2024) , Technical Program Committee 2024 - 2024

■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