メンバー
教授
- 五十嵐 淳 (igarashi)
准教授
- 末永 幸平 (ksuenaga)
助教
- 和賀 正樹 (mwaga)
- 池渕 未来 (ikebuchi)
特定助教
- 松下 祐介 (ymat)
事務補佐員
- 武井 かおり (ktakei)
特定研究員
- 高 超 (chao.gao)
- Alberto Bombardelli (abombardelli)
博士後期課程
- 村瀬 唯斗 (murase)
- 諏訪 敬之 (tsuwa)
- 佐藤 聡太 (satos)
修士課程
- 余 海翔 (haixiang)
- 大倉 功士 (okura)
- 中村 光希 (knakamura)
- 大志万 優生 (y.oshima)
- 柏木 力哉 (kashiwagi)
- 長谷川 光 (h.hasegawa)
- 北川 聖也 (kitagawa)
- 井本 有哉 (yimoto)
- 岡田 大空 (okadah)
- 平野 一輝 (hirakazu)
- 金 泰煥 (tthhkim)
学部生
- 井上 惺水 (sena)
- 木村 諒汰 (kimura)
- 牧 大輔 (dmaki)
- 安田 有輝 (yasuda)
- 岡 奏翔 (okakanato)
研究生
- Øystein K Tveit (oysteikt)
OB/OG
- 伊奈 林太郎 (ina)
- 阮 可 (gennka)
- 山崎 和孝 (kazutaka)
- 平松 佳孝 (y-hira)
- 永井 智映 (nagai_t)
- 江原 昌吾 (ehara)
- 澤田 習介 (sawada.s)
- 園部 達也 (sonobe)
- 村井 涼 (rmurai)
- 花田 裕一朗 (hanada)
- 上田 宗一郎 (ueda)
- 宮本 洋平 (y.miyamoto)
- 関山 太朗 (t-sekiym)
- 大元 武 (omoto)
- 樹下 稔 (kinoshita)
- 西野 良太 (nishino)
- 小岩 克輝 (koiwa)
- 藤原 康史 (fujiwara)
- 中野 宣昭 (nnakn)
- 石川 敦史 (a_ishikawa)
- 福田 竜大 (rfukuda)
- 奥村 健太郎 (oku)
- Tan, Qi (tanki)
- 雲 天 (yuntian)
- 田ノ上 拓志 (t_taxi)
- 谷口 力斗 (taniguchi)
- 井上 裕昭 (hinoue)
- 五十嵐 琢磨 (t_igarashi)
- 今西 諒文 (imanishi)
- 中村 博文 (hnakamura)
- 宮﨑 勇輔 (miyazaki)
- 黒田 拳斗 (kuroda)
- 大澤 賢悟 (ohsawa)
- Sébastien Faucheux (sebastien)
- 五十嵐 雄 (yuu)
- 石澤 拓哉 (ishizawa)
- 小池 拓矢 (koike)
- 田中 佑 (tanaka)
- Albert Schimpf (schimpf)
- 西 悠作 (nishi)
- 小林 恵 (kobayashi)
- 河田 旺 (akira)
- 小林 楓 (kaede)
- 高瀬 亮 (takase)
- 津田 優也 (tsuda)
- 西川 剛史 (nishikawa)
- 三上 翔 (mikami)
- 任 思錡 (shiki)
- 張 遼 (zhangliao)
- 陳 然 (aran)
- 鹿谷 将司 (shikatani02)
- 齋藤 大聖 (hsaito)
- 神宮 陽介 (shingu)
- 劉 佳傑 (neilliu)
- 中村 聡邦 (tnakamura)
- 福田 陽介 (yfukuda)
- 矢杉 和義 (k.yasugi)
- 尾崎 翔太 (ozaki)
- 勝田 峻太朗 (katsuda)
- 菊池 淳 (akikuchi)
- 中村 烈士 (ressi)
- 佐藤 新太 (atrn0)
- 田渕 智也 (tabuchi)
- 周 吉羽 (jiyu)
- 梅木 孝輔 (umeki)
- 小野 雄登 (y.ono)
- 佐藤 惇 (a.sato)
- 四十坊 純也 (shijubo)
- 服部 佑哉 (y.hattori)
- 伴野 良太郎 (banno)
- 平島 潤也 (j.hirashima)
- 廣瀬 雄一 (y.hirose)
- 小林 亮太 (rkobayashi)
- 阪口 裕飛 (ys7i)
- Zhan Shi (shi)
- 岸本 聖 (kishimoto)
- 山田 裕晃 (yamada)
- Wang Yi (wang.yi)
- 稲葉 皓信 (inaba)
- 山口 仁司 (yamaguti)
- Xitong Ruan (xitong)
- 趙 梓健 (zhao.zijian)
- 入江 堅吾 (kengirie)
- 長坂 岳樹 (nagasaka)
- 臼澤 嘉 (usuzawa)
- 矢島 創一 (yajima)
- Luo Guan (luoguan)
- 出山 翔大 (deyama)
- Choi CHUNMING (choi)
- 脇坂 遼 (wakizaka)
- 慶田 開 (keida)
- 藤原 佑輔 (yfujiwara)
- 松本 翼 (matsumoto)
- 山下 拓真 (yamashita)
- 吉岡 拓真 (yoshioka)
- 神 拓己 (takumi.jin)
- 木下 和樹 (k_kinoshita)
- 後藤 将之 (gotom)
OB/OGスタッフ
知能情報学専攻ソフトウェア基礎論分野 OB教官
卒業生（知能情報学専攻ソフトウェア基礎論分野 佐藤研）
- 原内 聡
- 四ッ柳 茂樹
- 今江 通成
- 池田 哲
- 櫻田 英樹
- 戸田 純一
- 箕畑 典男
- 田中 三貴
- 岡本 暁広
- Azza Abdelrahman Taha Abdelhalim
- 野竹 達也
- 竹腰 雅俊
- 松河 雅宏
- 林 誠
- 崔 栄
- 鷲見 拓人
- 福永 康司
- 岡崎 啓太郎
- 澤田 康秀
- 山本 和樹
- 神立 美加子
- 田中 俊臣
- 田中 聡
- 加藤 雅人
- 中野 豊
- 森中 智行
- 五味本 奈々
- 中村 大祐
- 小林 哲郎
- 高橋 亜希子
- 本間 博
- 櫟 粛之
- 花谷 直人
- 松川 明彦
- 川崎 正幸
- 増田 要平
- 劉 楠
- 畑田 貴史
- 宮本 賢治
- 中川 隼一
- 池田 聡
- 岩城 将志
- 長谷部 舞
- 本田 めぐみ
- 前川 慶司
- 根本 大記
- 伊藤 望
- 中西 福友
- 藤田 一樹
- 南 啓太
- 塚田 武志
- 山崎 有介
- 束田 正樹
- 畑山 大輔
- 白水 瑛子
- 柳樂 秀士
- 湯瀬 芳洋
- 山内 洋佑
- 廣瀬 喜規
- 下出 光章
- 丹羽 健太郎
- 山口 洋平
- 四熊 尚方 (naokata)
- 大里 陽一 (osato)
- 加藤 祐輝 (yuki)
- 北村 慎吾 (shin)
- 呉 昊 (winston)
- 鎌田 貴大 (retara)
- 鶴岡 誠子 (tom)
- 寺本 泰大 (teramoto)
- 中村 龍宇 (rn28)
- 小林 直広 (kazafushi)
- 齊藤 智恵理 (saito)
- 小山内 幸一 (osanai)
- 納家 寛人 (h_naya)
- 仲井間 達也 (nakaima)