[Japanese/English]
プログラム論理研究室のメンバー
メンバー
電子メールアドレスは、下記のユーザ名の
後ろに「@logic.cs.tsukuba.ac.jp」をつけてください。
教職員
大学院生 (理工情報生命学術院 システム情報工学研究群 情報理工学位プログラム 博士前期課程)
- Stefan Pavikevik, stefan
- 徳田 凌, tokuda
- Hironmoy Chakraborty, hironmoy
- 礒田 華成, isoda
- 小林 健太朗, kentaro
- Danel Batyrbek, danel
- 根本 樹, nemoto
- Ya Mone Zin, yamone
学部生(情報学群 情報科学類)
- 新田 圭祐, nitta
- 夏井 優太, natsui
- 小川 広海, ogawa
これまでの研究室 在籍者
- 中島 一
- 辰巳 淳朗
- 吉原 宏之
- 田中 陽
- 佐々木 卓
- 鈴木 輝信
- 米澤 拓央
- チョ サンクン
- 畑山 大輔
- 安岡 宏俊
- Jefferson O. Andrade
- 棚町 雅史
- 舘石 直人
- 杉浦 啓介
- 小鍛冶 雄一郎
- Cynthia Kustanto
- 高橋 宏文
- 金 鎭慶
- 西山 達也
- Chung-chieh (Ken) Shan
- Oleg Kiselyov
- 田中 麻峰
- 宮部 浩太朗
- 松長 知昭
- 清水 春樹
- 岡本 大輔
- 鈴木 健一
- 須藤 悠斗
- 真弓 明恵
- 吉村 優
- Zhengyi Lu
- Ramoses Dantas
- 高島 尚希
-
小堀 育男
-
鳥居 翔
-
橋本 広大
-
薄井 千春
- 大石 純平
-
山口 隆成
-
須永 修平
-
坂本 弘樹
- 四宮 誠一
- 渡部 恭久
- 上里 友弥
- 菊地 綾音
- 中尾 収
- 土谷 智仁
- 柳 日向
- 佐藤 享
- 佐竹 佑規
- 殷 冉
- 河原 悟
- 樫福 智哉
- Ding Yifan
- 佐々木 滋史
- 高木 尚
- 南條 陽史
- 大倉 瑠維
- 佐藤 佑飛
- 祁 全羽
- Gu Hao
- 山本 倫太郎
- 三戸部 輝
- 小田川 遥輝
- Wanghongxuan Zhao
- 増田 正博
- 古 雨
- 浅香 光
- 坂口 和彦
- 横山 彪人
- 江頭 輝
プログラム論理研究室ホームページ