
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr

J-GLOBAL ID：202301000005115050 Update date: Mar. 15, 2025

Minh Do Canh

Affiliation and department：
Job title： Assistant Professor
Homepage URL (1)： https://canhminhdo.github.io/

Research field (1)： Software

Research keywords (6)： Specification , Verification , Model Checking , Theorem Proving , Quantum Computation , Quantum Information

Research theme for competitive and other funds (3)：

2024 - 2028 Logical Foundation and Formal Verification of Quantum-resistant Security Protocols
2024 - 2027 Automated Formal Verification of Quantum Protocols for the Quantum Era
2023 - 2025 A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems

Papers (32)：

Tomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata. Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. Lecture Notes in Computer Science. 2025. 15393. 208-225
Canh Minh Do, Kazuhiro Ogata. An Executable Operational Semantics of Quantum Programs and Its Application. Lecture Notes in Computer Science. 2025. 15393. 15-31
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic. ACM Transactions on Software Engineering and Methodology. 2024
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. A Tableau-based Approach to Model Checking Linear Temporal Properties. Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science (LNCS). 2024. 15394. 353-374
Canh Minh Do, Kazuhiro Ogata. Symbolic Model Checking Quantum Circuits in Maude. PeerJ Computer Science. 2024. 10. e2098-e2098

Lectures and oral presentations (2)：

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)

Works (3)：

Professional career (2)：

Ph.D. in Information Science (Japan Advanced Institute of Science and Technology)
M.S. in Information Science (Japan Advanced Institute of Science and Technology)

Work history (1)：

2023/04 - 現在 Japan Advanced Institute of Science and Technology Assistant Professor

Awards (3)：

2024/05 - The 15th International Workshop on Rewriting Logic and its Applications (WRLA 2024) Best Paper/Presentation Award for Young Researcher
2022/09 - Japan Advanced Institute of Science and Technology Outstanding Student Award
2013/10 - Hanoi City Youth Union Top Graduating Student Award

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.


	Free word	※Add the following synonyms, you can increase the number of hits.




		～