MEMBERS

蓮尾 一郎. 研究総括; 准教授 (国立情報学研究所)

勝股 審也. 研究総括補佐; 特任准教授 (国立情報学研究所)

小西正晃. 研究推進主任; 特任研究員(国立情報学研究所)


G0: Metamathematical Integration

Tokyo Site

勝股 審也. グループリーダー; 特任准教授 (国立情報学研究所)

Jérémy Dubut. 研究員; 特任研究員 (国立情報学研究所)

David Sprunger. 研究員; 特任研究員 (国立情報学研究所)

Clovis Eberhert. 研究員; 特任研究員 (国立情報学研究所)

長 健太. テクニカルサポート; 特任技術専門員 (国立情報学研究所)

藤井 宗一郎. リサーチアシスタント; 博士課程 (東京大学)

卜部 夏木. リサーチアシスタント; 博士課程 (東京大学), 日本学術振興会特別研究員 DC

小森田 祐一. リサーチアシスタント; 修士課程 (総合研究大学院大学)

Nick Hu. Internship Student; MSc Student (U Oxford)

Kyoto Site

長谷川 真人. 共同研究者; 教授 (数理解析研究所, 京都大学)

星野 直彦. 共同研究者; 助教 (数理解析研究所, 京都大学)

室屋 晃子. 共同研究者; 助教 (数理解析研究所, 京都大学)

荒武 永史. リサーチアシスタント; 博士課程 (京都大学), 日本学術振興会特別研究員 DC

吹原 耀司. リサーチアシスタント; 博士課程 (京都大学)

今村 拓万. リサーチアシスタント; 博士課程 (京都大学)

南 規楽. リサーチアシスタント; 修士課程 (京都大学)

冨田 悠. リサーチアシスタント; 修士課程 (京都大学)

External

Bart Jacobs. 協力; 教授 (Radboud U)

本間 高弘. アドバイザー; 教授 (電気通信大学)


G1: Heterogeneous Formal Methods

Tokyo Site

蓮尾 一郎. 研究総括; 准教授 (国立情報学研究所)

岸田 昌子. 共同研究者; 准教授 (国立情報学研究所)

関山 太朗. 共同研究者; 助教 (国立情報学研究所)

Sasinee Pruekprasert. 研究員; 特任研究員 (国立情報学研究所)

山田 晃久. 研究員; 特任研究員 (国立情報学研究所)

滝坂 透. 研究員; 特任研究員 (国立情報学研究所)

Chao Huang.  テクニカルサポート; 特任技術専門員 (国立情報学研究所)

奥殿 貴仁. リサーチアシスタント; 博士課程 (総合研究大学院大学)

大藪 雄一郎. リサーチアシスタント; 修士課程 (総合研究大学院大学)

Sang-Hwa Lee. リサーチアシスタント; 修士課程 (総合研究大学院大学)

Osaka Site

潮 俊光. 共同研究者; 教授 (大阪大学)

榊原 愛海. リサーチアシスタント; 博士課程 (大阪大学)

坂口 聡範. リサーチアシスタント; 博士課程 (大阪大学)

Yun Qian. リサーチアシスタント; 修士課程 (大阪大学)

山倉 悠馬. リサーチアシスタント; 修士課程 (大阪大学)

Dongwu Xu. リサーチアシスタント; 修士課程 (大阪大学)

Shiyao Ding. リサーチアシスタント; 修士課程 (大阪大学)

市川 幾海. リサーチアシスタント; 修士課程 (大阪大学)

早川 裕基. リサーチアシスタント; 修士課程 (大阪大学)

Kyusyu Site

脇 隼人. 共同研究者; 准教授 (九州大学)

External

加藤 真平. 協力; 准教授 (東京大学)

末永 幸平. 協力; 准教授 (京都大学)

井村 順一. アドバイザー; 教授 (東京工業大学)


G2: Formal Methods in Industry

Waterloo Site

Krzysztof Czarnecki. グループリーダー; 教授 (U Waterloo)

Sean Sedwards. 研究員; 助教授 (U Waterloo)

Jaeyoung Lee. 研究員; 博士研究員 (U Waterloo)

宮下 尚. アドバイザー


G3: Formal Methods and Intelligence

Tokyo Site

石川 冬樹. グループリーダー; 准教授 (国立情報学研究所)

Shaukat Ali. 長期訪問者; Senior Research Scientist (Simula)

Paolo Arcaini. 研究員; 特任助教 (国立情報学研究所)

Zhenya Zhang. リサーチアシスタント; 博士課程 (総合研究大学院大学)

和賀 正樹. リサーチアシスタント; 博士課程 (総合研究大学院大学), 日本学術振興会特別研究員 DC

Nian-Ze Lee.  Internship Student; PhD Student (National Taiwan University)

External

萩谷 昌己. アドバイザー; 教授 (東京大学)

小林 直樹. アドバイザー; 教授 (東京大学)

坂本 大介. アドバイザー; 准教授 (北海道大学)


Project Headquarters

柏倉 由美恵. 研究推進員; 事務補佐員 (国立情報学研究所)

北川 則子. 研究推進員; 事務補佐員 (国立情報学研究所)

草間 一江. 研究推進員; 事務補佐員 (国立情報学研究所)

大野 季実子. 研究推進員; 事務補佐員 (国立情報学研究所)

瀧川 久美子. プロジェクトスタッフ; 科学技術振興機構

幡野 尚宏. プロジェクトスタッフ; 科学技術振興機構


以前のメンバー

由水 輝. 研究員; 特任研究員 (国立情報学研究所)

Gidon Ernst. 研究員; 特任研究員 (国立情報学研究所)

木戸 肩吾. リサーチアシスタント; 博士課程 (東京大学)

小林 弘季. リサーチアシスタント; 修士課程 (東京大学)

原 将己. リサーチアシスタント; 修士課程 (東京大学)

柳澤 名由太. リサーチアシスタント; 博士課程 (京都大学)

上村 太一. リサーチアシスタント; 博士課程 (京都大学)

石橋 佑輔. リサーチアシスタント; 修士課程 (京都大学)

福田 健一. リサーチアシスタント; 修士課程 (大阪大学)

増田 直之. リサーチアシスタント; 修士課程 (大阪大学)

Chou Yi. インターン; 博士課程 (U Colorado Boulder)

Noemie Fong. インターン; 修士課程 (ENS)

Thorsten Wissmann. インターン; 博士課程 (FAU Erlangen)

Anna Lukina. インターン; 博士課程 (TU Vienna)

Yoann Barszezak. インターン学生; 博士課程 (ENS Paris Saclay)

Riccardo Melioli. インターン; 博士課程 (U Milan)

Thomas Haas. インターン; 修士課程 (TU Braunschweig)

入江 亜希子. 研究推進員; 事務補佐員 (国立情報学研究所)

武田 晴美. 研究推進員; 事務補佐員 (国立情報学研究所)

内田 智子. 研究推進員; 事務補佐員 (国立情報学研究所)

杉田 寿見子. 研究推進員; 事務補佐員 (国立情報学研究所)

加藤 真一. プロジェクトスタッフ; 科学技術振興機構

江森 正憲. プロジェクトスタッフ; 科学技術振興機構