Takagi Tsubasa 高木翼

… Alternative Names

高木翼タカギツバサ

Less

Researcher Number	30994769
Other IDs
Affiliation (Current)	2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
Affiliation (based on the past Project Information) *help	2026: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / 1001:Information science, computer engineering, and related fields Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields
Keywords	Principal Investigator 等式論理 / 並行計算 / 量子計算 / 代数的仕様記述 / プロセス代数 / 量子論理 / 動的論理 / 並行性 / 量子プロトコル Except Principal Investigator 量子通信 … More / 耐量子 / セキュリティプロトコル / サイバーセキュリティ / 形式検証 / 基礎理論の整備 / Maude / ツール支援 / 量子回路の並行性 / 量子回路 / モデル検査 / 耐量子デジタル署名 / 耐量子暗号 Less

大規模分散量子計算の高信頼化に関する研究Principal Investigator
- Principal Investigator
  
  高木翼
- Project Period (FY)
  2026 – 2029
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Japan Advanced Institute of Science and Technology
Algebraic Specification for Concurrent Quantum ComputationPrincipal Investigator
- Principal Investigator
  
  高木翼
- Project Period (FY)
  2024 – 2025
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Review Section
  
  1001:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology
Logical foundation and formal verification of quantum-resistant security protocols
- Principal Investigator
  
  緒方和博
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Fund for the Promotion of Joint International Research (International Collaborative Research)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2025 2024

All Journal Article Presentation

[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025
- Author(s)
  Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
- Journal Title
  
  ACM Transactions Software Engineering and Methodology
  
  Volume: Just Accepted
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24KK0185
[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025
- Author(s)
  Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
- Journal Title
  
  ACM Transactions on Software Engineering and Methodology （掲載確定）
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24K23858
[Journal Article] A Tableau-based Approach to Model Checking Linear Temporal Properties2024
- Author(s)
  Minh Do Canh、Takagi Tsubasa、Ogata Kazuhiro
- Journal Title
  
  International Conference on Formal Engineering Methods
  
  Volume: LNCS 15394 Pages: 353-374
- DOI
  10.1007/978-981-96-0617-7_20
- ISBN
  9789819606160, 9789819606177
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K19959, KAKENHI-PROJECT-24K20757, KAKENHI-PROJECT-24KK0185
[Presentation] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025
- Author(s)
  Tsubasa Takagi
- Organizer
  第27回プログラミングおよびプログラミング言語ワークショップ（PPL 2025）
- Data Source
  KAKENHI-PROJECT-24K23858
[Presentation] utomated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025
- Author(s)
  高木翼
- Organizer
  第27回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-24KK0185
[Presentation] 多ソート等式論理による量子計算の形式仕様記述2024
- Author(s)
  高木翼
- Organizer
  第41回記号論理と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-24KK0185
[Presentation] 多ソート等式論理による量子計算の形式仕様記述2024
- Author(s)
  高木翼
- Organizer
  第41回記号論理と情報科学研究集会（SLACS 2024）
- Data Source
  KAKENHI-PROJECT-24K23858

1. 緒方和博 (30272991)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
2. DO CanhMinh (00981143)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Takagi Tsubasa 高木 翼

高木 翼 タカギ ツバサ

Research Projects

Research Products

Co-Researchers

大規模分散量子計算の高信頼化に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Algebraic Specification for Concurrent Quantum ComputationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Logical foundation and formal verification of quantum-resistant security protocols

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025

Author(s)

Journal Title

Data Source

[Journal Article] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025

Author(s)

Journal Title

Data Source

[Journal Article] A Tableau-based Approach to Model Checking Linear Temporal Properties2024

Author(s)

Journal Title

DOI

ISBN

Data Source

[Presentation] Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025

Author(s)

Organizer

Data Source

[Presentation] utomated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic2025

Author(s)

Organizer

Data Source

[Presentation] 多ソート等式論理による量子計算の形式仕様記述2024

Author(s)

Organizer

Data Source

[Presentation] 多ソート等式論理による量子計算の形式仕様記述2024

Author(s)

Organizer

Data Source

Takagi Tsubasa 高木翼

高木翼タカギツバサ