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

■研究業績

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