研究しているテーマについてさらに知りたい方は,各研究者のホームページをご覧になるか,各研究者に直接電子メール等でお尋ねください.また、最近の出版論文リストも参照して下さい.

教員,研究員

勝股 審也 (かつまた・しんや) (助教)
Ph.D. (Univ. of Edinburgh)
プログラムの論理学的・数学的モデル
照井 一成 (てるい・かずしげ) (准教授)
博士(哲学)(慶應義塾大学)
論理学、理論計算機科学
長谷川 真人 (はせがわ・まさひと) (教授)
Ph.D. (Univ. of Edinburgh)
プログラミング言語の理論・計算の意味論・圏論的モデル
星野 直彦(ほしの・なおひこ)(助教)
博士(理学)(京都大学)
プログラミング言語の意味論

理学研究科数学教室の西村進 准教授と協力して大学院教育を行っています。

博士後期課程学生

石田 和 (いしだ・やわら)
佐藤 哲也 (さとう・てつや)
滝坂 透(たきさか・とおる)
樋田 貴紀 (ひだ・たかのり)
松本慧(まつもと・けい)
Rossen Mikhov (ミホフ・ローセン)
本浦庄太(もとうら・しょうた)

修士(博士前期)課程学生

上村 太一 (うえむら・たいち)
山本 健太郎 (やまもと・けんたろう)

研究生

後藤勇樹(ごとう・ゆうき)

旧メンバーへのリンク

浅田 和之(あさだ・かずゆき)東京大学
石原 存(いしはら・ありや) アムステルダム自由大学
Irek Ulidowski (ウリドフスキ・イレック) University of Leicester
大堀 淳 (おおほり・あつし) 東北大学
香川 考司 (かがわ・こうじ) 香川大学
角谷 良彦 かくたに・よしひこ) 東京大学
Jacques Garrigue/雅利賀 惹玖 (ガリグ・ジャック) 名古屋大学
Alex Simpson (シンプソン・アレックス) University of Edinburgh
田島 敬史 (たじま・けいし) 情報学研究科社会情報学専攻
田辺 誠 (たなべ・まこと) 宇部工業高等専門学校
津曲 紀宏 (つまがり・のりひろ)東京大学
Etienne Duchesne(どぅしぇん・えてぃえん)パリ第13大学
中田 景子 (なかた・けいこ) Tallinn University of Technology
中野 圭介 (なかの・けいすけ) 電気通信大学
西村 進 (にしむら・すすむ) 理学研究科数学教室
橋本 政朋 (はしもと・まさとも) 産業技術総合研究所サイバーアシスト研究センター
蓮尾 一郎 (はすお・いちろう)(東京大学)
Craig Pastro(ぱすとろ・くれいぐ)九州大学
Michele Basaldella(ばさるでっら・みけーれ)JAIST
林 良生 (はやし・よしお) 株式会社ナレッジフロー
古瀬 淳 (ふるせ・じゅん)Jane Street Global Trading
Matthias Blume (ブルーメ・マティアス)Google
細谷 晴夫 (ほそや・はるお) 科学技術振興機構/理化学研究所 さきがけ研究者
南出 靖彦 (みなみで・やすひこ) 筑波大学
宮部 賢志(みやべ・けんし) 東京大学
Paul-Andre Mellies (メリエス・ポールアンドレ) パリ第7大学
Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.