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

2022 Fiscal Year Interim Assessment (Comments)

AI時代を見据えたプログラム検証技術

Research Project

  • PDF
Project/Area Number 20H05703
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Review Section Broad Section J
Research InstitutionThe University of Tokyo

Principal Investigator

小林 直樹  東京大学, 大学院情報理工学系研究科, 教授 (00262155)

Co-Investigator(Kenkyū-buntansha) 五十嵐 淳  京都大学, 情報学研究科, 教授 (40323456)
塚田 武志  千葉大学, 大学院理学研究院, 准教授 (50758951)
吉仲 亮  東北大学, 情報科学研究科, 准教授 (80466424)
海野 広志  東北大学, 電気通信研究所, 教授 (80569575)
関山 太朗  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
佐藤 一誠  東京大学, 大学院情報理工学系研究科, 教授 (90610155)
佐藤 亮介  東京農工大学, 学内共同利用施設等, 准教授 (10804677)
Project Period (FY) 2020-08-31 – 2025-03-31
Assessment Rating
Interim Assessment Comments (Rating)

A: In light of the aim of introducing the research area into the research categories, the expected progress has been made in research.

URL: 

Published: 2022-11-22  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi