• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Takagi Tsubasa  高木 翼

ORCIDConnect your ORCID iD *help
Researcher Number 30994769
Other IDs
Affiliation (Current) 2025: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
2025: 東京科学大学, 情報理工学院, JSPS特別研究員
Affiliation (based on the past Project Information) *help 2024: 北陸先端科学技術大学院大学, 先端科学技術研究科, 准教授
Review Section/Research Field
Principal Investigator
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
量子通信 / 耐量子 / セキュリティプロトコル / サイバーセキュリティ / 形式検証
  • Research Projects

    (2 results)
  • Co-Researchers

    (2 People)
  •  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
  • 1.  緒方 和博 (30272991)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  DO CanhMinh (00981143)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi