教員，研究員
- 照井 一成 （てるい・かずしげ） （准教授）
- 博士（哲学）（慶應義塾大学）
- 論理学、理論計算機科学
- 長谷川 真人 （はせがわ・まさひと） （教授）
- Ph.D. （Univ. of Edinburgh）
- プログラミング言語の理論・計算の意味論・圏論的モデル
- 室屋 晃子（むろや・こうこ）（助教）
- Ph.D. （Univ. of Birmingham）
- プログラミング言語の理論
- 荒武 永史 （あらたけ・ひさし） （研究員）
- 博士（理学）（京都大学）
- 圏論的論理学、モデル理論
- 吹原 耀司 （ふきはら・ようじ） （研究員）
- 博士（理学）（京都大学）
- 圏論的モデル
理学研究科数学教室の西村進 准教授と協力して大学院教育を行っています。 また、数理解析研究所の河村 彰星 准教授のグループとも 共同でセミナーを行っています。
来訪研究者
- Serge Lechenne (Ecole Normale Supérieure)
博士後期課程学生
修士（博士前期）課程学生
旧メンバーへのリンク
- 浅田 和之（あさだ・かずゆき） 東北大学
- 上村 太一（うえむら・たいち） Stockholm University
- 浦本 武雄 （うらもと・たけお） 九州大学マス・フォア・インダストリ研究所
- Irek Ulidowski （ウリドフスキ・イレック） University of Leicester
- 大堀 淳 （おおほり・あつし） 東北大学
- 香川 考司 （かがわ・こうじ） 香川大学
- 勝股 審也 （かつまた・しんや） 国立情報学研究所
- Jacques Garrigue／雅利賀 惹玖 （ガリグ・ジャック） 名古屋大学
- 佐藤 哲也 （さとう・てつや） 東京工業大学
- 田島 敬史 （たじま・けいし） 京都大学国際高等教育院
- 田辺 誠 （たなべ・まこと） 宇部工業高等専門学校
- 津曲 紀宏 （つまがり・のりひろ） 崇城大学
- 中野 圭介 （なかの・けいすけ） 東北大学
- 西村 進 （にしむら・すすむ） 理学研究科数学教室
- 橋本 政朋 （はしもと・まさとも） 千葉工業大学
- Amar Hadzihasanovic （ハジハサノビッチ・アマー） Tallinn University of Technology
- 蓮尾 一郎 （はすお・いちろう） 国立情報学研究所
- 林 良生 （はやし・よしお） 株式会社ナレッジフロー
- 藤井 宗一郎 （ふじい・そういちろう） Macquarie University
- 古瀬 淳 （ふるせ・じゅん） ダイラムダ株式会社
- 星野 直彦 （ほしの・なおひこ） 崇城大学
- Matthias Blume （ブルーメ・マティアス） Google
- 細谷 晴夫 （ほそや・はるお） 国際電気通信基礎技術研究所（ATR）
- 南出 靖彦 （みなみで・やすひこ） 東京工業大学
- 宮部 賢志（みやべ・けんし） 明治大学
- JS Lemay （ルメイ・JS） Macquarie University