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