中島玲二教授が平成２０年１月１８日にご逝去されました。ご冥福を深くお祈りいたします。
研究しているテーマについてさらに知りたい方は，各研究者のホームページをご覧になるか，各研究者に直接電子メール等でお尋ねください．また、最近の出版論文リストも参照して下さい．
教員，研究員
- 勝股 審也 （かつまた・しんや） （助教）
- Ph.D. （Univ. of Edinburgh）
- プログラムの論理学的・数学的モデル
- 照井 一成 （てるい・かずしげ） （准教授）
- 哲学博士（慶應義塾大学）
- 論理学、理論計算機科学
- 津曲 紀宏 （つまがり・のりひろ） （グローバルCOE 特定研究員）
- 理学博士（鹿児島大学）
- 多重関係・クリーニ代数・確率的システムの意味論
- 長谷川 真人 （はせがわ・まさひと） （教授）
- 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 （メリエス・ポールアンドレ） パリ第７大学