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
◆Professional Experience
2023 - : Japan Advanced Institute of Science and Technology , School of Information Science , Assistant Professor
◆Specialties
Software
◆Research Keywords
Formal Specification, Formal Verification, Model Checking, Testing, and Parallelization

■Publications

◆Published Papers
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
Symbolic Model Checking Quantum Circuits in Maude.
Canh Minh Do, Kazuhiro Ogata 0001
SEKE, 103-108, 2023
Automated Quantum Program Verification in Dynamic Quantum Logic.
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001
DaLí, 68-84, 2023
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
Duong Dinh Tran, Canh Minh Do, Santiago Escobar 0001, Kazuhiro Ogata 0001
PeerJ Computer Science, 9, -1556, 2023
A Layered and Parallelized Method of Eventual Model Checking.
Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata 0001
Information(Inf.), 14, 7, 384-384, 2023
◆Misc
A divide and conquer approach to leads-to-model checking
Yati Phyo, Canh Minh Do, Ogata Kazuhiro
ITNOW, 63, 2, 66-, 2021

■Academic  Awards

・ Outstanding student award , Japan Advanced Institute of Science and Technology , 2022