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

内田 公太  ウチダ コウタ

ORCIDConnect your ORCID iD *help
Researcher Number 90836701
Affiliation (based on the past Project Information) *help 2024: 東京科学大学, 情報理工学院, 特任助教
2019 – 2022: 東京工業大学, 情報理工学院, 特任助教
Review Section/Research Field
Except Principal Investigator
Basic Section 60050:Software-related
Keywords
Except Principal Investigator
システムソフトウェア / バグ検出 / 分散並行システム / 静的解析 / サニタイザ / 動的解析 / プログラム解析 / 非決定的バグ / 分散並行バグ / 分散並行処理
  • Research Projects

    (1 results)
  • Co-Researchers

    (1 People)
  •  Research of Sanitizers for Distributed Concurrent Systems

    • Principal Investigator
      Arahori Yoshitaka
    • Project Period (FY)
      2019 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Institute of Science Tokyo
  • 1.  Arahori Yoshitaka (50613460)
    # 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