過去の在籍者

STAFF

小山 正樹 / Masaki Koyama
[2005/04 - 2007/03 教授]

名倉 正剛 / Masataka Nagura
[2007/04 - 2009/03 StagEプロジェクト 特任助教]

マイケル・バーカー /
Michael Dean Barker
[2009/04-2010/03 ITSpiral 特任教授]

川口 真司 / Shinji Kawaguchi
[2006/04 - 2007/03 助手,2007/04-2010/03 助教]

伏田 享平 / Kyohei Fushida
[2011/04 - 2012/03 特任助教]

CAMARGO CRUZ Ana Erika
[2012/06 - 2013/09 助教]

吉田 則裕 / Norihiro Yoshida
[2010/6 - 2014/3 助教]

Dan Port
[2014/6 - 2014/8 フルブライト研究員]

渡場 康弘 / Yasuhiro Watashiba
[2015/04 - 2016/09 助教]

Patanamon Thongtanunam
特別研究員 /Postdoctoral Researcher

秘書

前村 久美子 /
Kumiko Maemura
[2009/04 - 2010/03]

川本 理恵 / Rie Kawamoto
[2008/04 - 2011/03]

呂 悠妃 / Yuki Ro
[2011/04 - 2013/03]

吉川 弥甫 / Miho Yoshikawa
[2013/04 - 2014/07]

荒井 智子 / Tomoko Arai
[2014/08 - 2015/07]

森本 恭代 / Yasuyo Morimoto
[2015/08 - 2017/03]

 

学生

後藤 慶多 / Keita Goto
[2005/04 - 2007/03 博士前期課程]

堀 宰一郎 / Saiichirou Hori
[2005/10 - 2009/03 博士後期課程]

高田 純 / Jun Takata
[2007/04 - 2009/03 博士前期課程]

山科 隆伸 /
Takanobu Yamashina
[2007/04 - 2009/03 博士前期課程]

石田 響子 / Kyoko Ishida
[2007/10 - 2009/03 博士前期課程]

大前 勇輝 / Yuki Omae
[2008/04 - 2009/03 博士前期課程]

奥村 哲也 / Tetsuya Okumura
[2008/04 - 2010/03 博士前期課程]

片山 真一 /
Shinichi Katayama
[2008/04 - 2010/03 博士前期課程]

西田 皓司 / Koji Nishida
[2008/04 - 2010/03 博士前期課程]

福島 義彦 /
Yoshihiko Fukushima
[2008/04 - 2010/03 博士前期課程]

水野 恵祐 / Keisuke Mizuno
[2008/04 - 2010/03 博士前期課程]

中林 啓司 / Keiji Nakabayashi
[2006/04 - 2010/09 博士後期課程]

大蔵 君治 / Kimiharu Ookura
[2005/04 - 2007/03 博士前期課程,
2007/04 - 2010/06 博士後期課程,
2010/07 - 2011/03 研究員]

木下 正喬 /
Masataka Kinoshita
[2009/04 - 2011/03 博士前期課程]

オユンビレグ チングン /
OYUNBILEG CHINGUN
[2009/04 - 2011/03 博士前期課程]

アハマド・エル・ガファリ /
Ahmad EL Ghafari
[2010/04 - 2012/03 博士前期課程]

吉岡 俊輔 /
Shunsuke Yoshioka
[2010/04 - 2012/03 博士前期課程]

ラウラ・クラ / Raula Kula
[2008/04 - 2008/08 研究生,
2008/09 - 2010/03 博士前期課程,
2010/04 - 2013/03 博士後期課程]

尾花 将輝 / Masaki Obana
[2010/04 - 2013/03 博士後期課程]

濵﨑 一樹 / Kazuki Hamasaki
[2011/04 - 2013/03 博士前期課程]

平山 力地 / Rikichi Hirayama
[2011/04 - 2013/03 博士前期課程]

山田 悠太 / Yuta Yamada [
[2011/04 - 2013/03 博士前期課程]

石村 慎悟 / Shingo Ishimura
[2011/04 - 2013/09 博士前期課程]

浦田 大地 / Daichi Urata
[2012/04 - 2014/03 博士前期課程]

藤原 雄介 / Yusuke Fujihara
[2012/04 - 2014/03 博士前期課程]

中山 直輝 / Naoki Nakayama
[2013/04 - 2015/03 博士前期課程]

Khana Chindamaikul
[2013/04 - 2015/03 博士前期課程]

金 勇 / Jin Yong
[2013/10 - 2015/09 博士前期課程]

藤原 賢二 / Kenji Fujiwara
[2010/04 - 2012/03 博士前期課程,
2012/04 - 2015/09 博士後期課程,
2015/10 - 2016/03 研究員]

柿本 和希 / Kazuki Kakimoto
[教育連携講座:
 超高信頼ソフトウェアシステム検証学研究室]
[2014/04 - 2016/03 博士前期課程]

川島 尚己 / Naoki Kawashima
[2014/04 - 2016/03 博士前期課程]

齊藤 雄輔 / Yusuke Saito
[2014/04 - 2016/03 博士前期課程]

原 一貴 / Kazuki Hara
[2014/04 - 2016/03 博士前期課程]

森 仁志 / Satoshi Mori
[2014/04 - 2016/03 博士前期課程]

楊 欣 / Yang Xin
[2013/04 - 2013/08 研究生,
2011/10 - 2013/09 博士前期課程,
2013/04 - 2016/09 博士後期課程]

王 旭亮 / Wang Xuliang
[2014/10 - 2016/09 博士前期課程]

中川 廣大 / Kodai Nakagawa
[2014/10 - 2017/03 博士前期課程]

田中 大樹 / Daiki Tanaka
[2015/4 - 2017/03 博士前期課程]

山﨑 雅也 / Masaya Yamazaki
[教育連携講座:
超高信頼ソフトウェアシステム検証学研究室]
[2015/4 - 2017/03 博士前期課程]

八木 英光 / Hidemitsu Yagi
[2015/4 - 2017/03 博士前期課程]

 

博士後期課程3年 / D3

Chawanat Nakasan

博士後期課程3年 / D3

槇原 絵里奈 / Erina Makihara

博士後期課程3年 / D3

Pongsakorn U-chupala

博士後期課程3年 / D3

Chan Kar Long

博士後期課程3年 / D3

黄 掣 / Huang Che

博士前期課程2年 / M2

山田 悠貴 / Yuki Yamada

博士前期課程2年 / M2

吉田 貴信 / Takanobu Yoshida

博士前期課程2年 / M2

宮村 純真 / Toma Miyamura
[教育連携講座:
超高信頼ソフトウェアシステム検証学研究室]