TOP  >  Personal Info.
DO, Minh Canh Assistant Professor
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
2023 - : Japan Advanced Institute of Science and Technology , Assistant Professor
◆Specialties
Software
◆Research Keywords
Specification, Verification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information

■Publications

◆Published Papers
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, -, 2024
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
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 15th International Workshop on Rewriting Logic and Its Applications (WRLA), Lecture Notes in Computer Science (LNCS), 14953, 84-103, 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
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

Functional Programming, Fundamentals of Programming

■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
・ Top Graduating Student Award , Hanoi City Youth Union , 2013