Members

  • 蓮尾 一郎. 研究総括; 教員 准教授 (国立情報学研究所)
  • 勝股 審也. 研究総括補佐; 特任研究員 准教授 (国立情報学研究所)
  • 小西正晃. 研究推進主任; 特任研究員(国立情報学研究所)

G0: Metamathematical Integration

Tokyo Site
  • 勝股 審也. グループリーダー; 特任研究員 准教授 (国立情報学研究所)
  • Jérémy Dubut. 研究員; 特任研究員 (国立情報学研究所)
  • David Sprunger. 研究員; 特任研究員 (国立情報学研究所)
  • 藤井 宗一郎. リサーチアシスタント; 博士課程 (東京大学)
  • 小林 弘季. リサーチアシスタント; 修士課程 (東京大学)
  • 卜部 夏木. リサーチアシスタント; 博士課程 (東京大学), 日本学術振興会特別研究員 DC
Kyoto Site
  • 長谷川 真人. 共同研究者; 教授 (数理解析研究所, 京都大学)
  • 星野 直彦. 共同研究者; 准教授 (数理解析研究所, 京都大学)
  • 滝坂 透.リサーチアシスタント; 博士課程 (京都大学)
  • 柳澤 名由太. リサーチアシスタント; 博士課程 (京都大学)
  • 荒武 永史. リサーチアシスタント; 博士課程 (京都大学)
  • 石橋 佑輔. リサーチアシスタント; 修士課程 (京都大学)
  • 吹原 耀司. リサーチアシスタント; 修士課程 (京都大学)
External

G1: Heterogeneous Formal Methods

Tokyo Site
  • 蓮尾 一郎. 研究総括; 教員 准教授 (国立情報学研究所)
  • Gidon Ernst. 研究員; 特任研究員 (国立情報学研究所)
  • Sasinee Pruekprasert. 研究員; 特任研究員 (国立情報学研究所)
  • 山田 晃久. 研究員; 特任研究員 (国立情報学研究所)
  • Zhenya Zhang. リサーチアシスタント; 博士課程 (総合研究大学院大学)
  • 原 将己. リサーチアシスタント; 修士課程 (東京大学)
  • 奥殿 貴仁. リサーチアシスタント; 修士課程 (東京大学)
  • 大藪 雄一郎. リサーチアシスタント; 修士課程 (総合研究大学院大学)
  • 由水 輝. 研究補助員; 技術補佐員 (国立情報学研究所)
  • Sang-Hwa Lee. 研究補助員; 技術補佐員 (国立情報学研究所)
Osaka Site
  • 潮 俊光. 共同研究者; 教授 (大阪大学)
  • 榊原 愛海. リサーチアシスタント; 博士課程 (大阪大学)
  • 福田 健一. リサーチアシスタント; 修士課程 (大阪大学)
  • 増田 直之. リサーチアシスタント; 修士課程 (大阪大学)
  • 坂口 聡範. リサーチアシスタント; 修士課程 (大阪大学)
  • Yun Qian. リサーチアシスタント; 修士課程 (大阪大学)
  • 山倉 悠馬. リサーチアシスタント; 修士課程 (大阪大学)
  • Dongwu Xu. リサーチアシスタント; 修士課程 (大阪大学)
Kyusyu Site
  • 脇 隼人. 共同研究者; 准教授 (九州大学)
External

G2: Formal Methods in Industry

Waterloo Site
  • Krzysztof Czarnecki. グループリーダー; 教授 (U Waterloo)
  • 宮下 尚. アドバイザー

G3: Formal Methods and Intelligence

Tokyo Site
  • 石川 冬樹. グループリーダー; 准教授 (国立情報学研究所)
  • Sean Sedwards. 研究員; 特任研究員 (国立情報学研究所)
  • 木戸 肩吾. リサーチアシスタント; 博士課程 (東京大学)
  • 和賀 正樹. リサーチアシスタント; 修士課程 (東京大学)
External

Project Headquarters

  • 柏倉 由美恵. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 北川 則子. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 大野 季実子. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 瀧川 久美子. プロジェクトスタッフ; 科学技術振興機構
  • 加藤 真一. プロジェクトスタッフ; 科学技術振興機構