• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
研究者
J-GLOBAL ID：202301000005115050   更新日: 2025年03月15日

ド ミン カン

Minh Do Canh
所属機関・部署：
北陸先端科学技術大学院大学 情報科学系

北陸先端科学技術大学院大学 情報科学系 について


職名： 助教
ホームページURL (1件)： https://canhminhdo.github.io/
研究分野 (1件)： ソフトウェア
研究キーワード (6件)： Specification ,  Verification ,  Model Checking ,  Theorem Proving ,  Quantum Computation ,  Quantum Information
競争的資金等の研究課題 (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
論文 (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
もっと見る
講演・口頭発表等 (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件)：
  • Senior Software Engineer at TechAcademy Vietnam
    2015 - 2018
  • Software Engineer at Dotoh Software Solutions Vietnam
    2013 - 2014
  • Internship & Software Engineer at Langmaster Vietnam
    2012 - 2013
学位 (2件)：
  • 博士(情報科学) (北陸先端科学技術大学院大学)
  • 修士(情報科学) (北陸先端科学技術大学院大学)
経歴 (1件)：
  • 2023/04 - 現在 北陸先端科学技術大学院大学 助教
受賞 (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
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM