Members

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

G0: Metamathematical Integration

Tokyo Site
  • 勝股 審也. グループリーダー; 特任准教授 (国立情報学研究所)
  • Jérémy Dubut. 研究員; 特任研究員 (国立情報学研究所)
  • David Sprunger. 研究員; 特任研究員 (国立情報学研究所)
  • 長 健太. テクニカルサポート; 特任技術専門員 (国立情報学研究所)
  • 藤井 宗一郎. リサーチアシスタント; 博士課程 (東京大学)
  • 卜部 夏木. リサーチアシスタント; 博士課程 (東京大学), 日本学術振興会特別研究員 DC
  • 小森田 祐一. リサーチアシスタント; 修士課程 (総合研究大学院大学)
  • Yoann Barszezak. インターン学生; 博士課程 (ENS Paris Saclay)
  • Nick Hu. Internship Student; MSc Student (U Oxford)
Kyoto Site
  • 長谷川 真人. 共同研究者; 教授 (数理解析研究所, 京都大学)
  • 星野 直彦. 共同研究者; 助教 (数理解析研究所, 京都大学)
  • 室屋 晃子. 共同研究者; 助教 (数理解析研究所, 京都大学)
  • 荒武 永史. リサーチアシスタント; 博士課程 (京都大学), 日本学術振興会特別研究員 DC
  • 吹原 耀司. リサーチアシスタント; 博士課程 (京都大学)
  • 今村 拓万. リサーチアシスタント; 博士課程 (京都大学)
  • 南 規楽. リサーチアシスタント; 修士課程 (京都大学)
  • 冨田 悠. リサーチアシスタント; 修士課程 (京都大学)
External

G1: Heterogeneous Formal Methods

Tokyo Site
  • 蓮尾 一郎. 研究総括; 准教授 (国立情報学研究所)
  • 岸田 昌子. 共同研究者; 准教授 (国立情報学研究所)
  • 関山 太朗. 共同研究者; 助教 (国立情報学研究所)
  • Sasinee Pruekprasert. 研究員; 特任研究員 (国立情報学研究所)
  • 山田 晃久. 研究員; 特任研究員 (国立情報学研究所)
  • 滝坂 透. 研究員; 特任研究員 (国立情報学研究所)
  • Clovis Eberhert. 研究員; 特任研究員 (国立情報学研究所)
  • 奥殿 貴仁. リサーチアシスタント; 博士課程 (総合研究大学院大学)
  • 大藪 雄一郎. リサーチアシスタント; 修士課程 (総合研究大学院大学)
  • Sang-Hwa Lee. リサーチアシスタント; 修士課程 (総合研究大学院大学)
  • Thomas Haas. Internship Student; MSc Student (TU Braunschweig)
Osaka Site
  • 潮 俊光. 共同研究者; 教授 (大阪大学)
  • 榊原 愛海. リサーチアシスタント; 博士課程 (大阪大学)
  • 坂口 聡範. リサーチアシスタント; 博士課程 (大阪大学)
  • Yun Qian. リサーチアシスタント; 修士課程 (大阪大学)
  • 山倉 悠馬. リサーチアシスタント; 修士課程 (大阪大学)
  • Dongwu Xu. リサーチアシスタント; 修士課程 (大阪大学)
  • Shiyao Ding. リサーチアシスタント; 修士課程 (大阪大学)
  • 市川 幾海. リサーチアシスタント; 修士課程 (大阪大学)
  • 早川 裕基. リサーチアシスタント; 修士課程 (大阪大学)
Kyusyu Site
  • 脇 隼人. 共同研究者; 准教授 (九州大学)
External

G2: Formal Methods in Industry

Waterloo Site

G3: Formal Methods and Intelligence

Tokyo Site
  • 石川 冬樹. グループリーダー; 准教授 (国立情報学研究所)
  • Shaukat Ali. 長期訪問者; Senior Research Scientist (Simula)
  • Paolo Arcaini. 研究員; 特任助教 (国立情報学研究所)
  • Zhenya Zhang. リサーチアシスタント; 博士課程 (総合研究大学院大学)
  • 和賀 正樹. リサーチアシスタント; 博士課程 (総合研究大学院大学), 日本学術振興会特別研究員 DC
  • Riccardo Melioli. インターン; 博士課程 (U Milan)
External

Project Headquarters

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

以前のメンバー

  • 由水 輝. 研究員; 特任研究員 (国立情報学研究所)
  • Gidon Ernst. 研究員; 特任研究員 (国立情報学研究所)
  • 木戸 肩吾. リサーチアシスタント; 博士課程 (東京大学)
  • 小林 弘季. リサーチアシスタント; 修士課程 (東京大学)
  • 原 将己. リサーチアシスタント; 修士課程 (東京大学)
  • 柳澤 名由太. リサーチアシスタント; 博士課程 (京都大学)
  • 上村 太一. リサーチアシスタント; 博士課程 (京都大学)
  • 石橋 佑輔. リサーチアシスタント; 修士課程 (京都大学)
  • 福田 健一. リサーチアシスタント; 修士課程 (大阪大学)
  • 増田 直之. リサーチアシスタント; 修士課程 (大阪大学)
  • Chou Yi. インターン; 博士課程 (U Colorado Boulder)
  • Noemie Fong. インターン; 修士課程 (ENS)
  • Thorsten Wissmann. インターン; 博士課程 (FAU Erlangen)
  • Anna Lukina. インターン; 博士課程 (TU Vienna)
  • 入江 亜希子. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 武田 晴美. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 内田 智子. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 杉田 寿見子. 研究推進員; 事務補佐員 (国立情報学研究所)
  • 加藤 真一. プロジェクトスタッフ; 科学技術振興機構
  • 江森 正憲. プロジェクトスタッフ; 科学技術振興機構