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

■研究業績

◆発表論文
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
Theoretical Foundation for Equivalence Checking of Quantum Circuits
Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 83-92, 2023
Symbolic Model Checking Quantum Circuits With Density Operators in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 52-66, 2023
◆講演・口頭発表
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
La Trobe-Kyushu Joint Seminar on Mathematics for Industry, 2024

■担当講義

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

■賞等

・ 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