トップページ  >  教員個別情報
DO, Minh Canh （DO, Minh Canh ）助教
情報科学, コンピューティング科学研究領域
◆学位
博士（情報科学） 北陸先端科学技術大学院大学
◆職歴
2023 - : 北陸先端科学技術大学院大学 , 情報科学系 , 助教
◆専門分野
ソフトウェア
◆研究キーワード
Formal Specification, Formal Verification, Model Checking, Testing, and Parallelization

■研究業績

◆発表論文
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

■賞等

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