トップページ  >  教員個別情報
DO, Minh Canh （DO, Minh Canh ）講師
情報科学, コンピューティング科学研究領域, 超越量子未来アリーナ
◆学位
博士（情報科学） 北陸先端科学技術大学院大学
修士（情報科学） 北陸先端科学技術大学院大学
◆職歴
2025 - : 北陸先端科学技術大学院大学 , コンピューティング科学 , 講師
2023 - 2025 : 北陸先端科学技術大学院大学 , コンピューティング科学 , 助教
◆専門分野
ソフトウェア
◆研究キーワード
Specification, Verification, Model Checking, Theorem Proving, Quantum Computation, Quantum Information

■研究業績

◆発表論文
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
◆講演・口頭発表
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

■担当講義

関数プログラミング, プログラミング基礎

■学外活動

◆社会貢献活動
・ 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

■賞等

・ 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