Members

STAFF

准教授 / Associate Professor

市川 昊平/ Kohei Ichikawa

 

客員准教授 / Visiting Professor

高井 利憲 / Toshinori Takai

客員准教授 / Visiting Professor

田中 康 / Yasushi Tanaka

 

助教 / Assistant Professor

崔 恩瀞 / Eunjong Choi

 

共同研究者 / Collaborating Researcher

吉田 則裕 / Norihiro Yoshida

STUDENTS

博士後期課程3年 / D3

上村 恭平 / Kyohei Uemura

博士後期課程2年 / D2

Rejaul Karim

 

博士前期課程2年 / M2

常木 健介 / Kensuke Tsuneki

博士前期課程2年 / M2

中地 祥剛 / Yoshitaka Nakaji

博士前期課程2年 / M2

中西 駿太 / Shunta Nakanishi

博士前期課程2年 / M2

入江 琴子 / Kotoko Irie

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

博士前期課程1年 / M1

Wassapon
Watanakeesuntorn

博士前期課程1年 / M1

鐘ヶ江由佳 / Yuka Kanegae

博士前期課程1年 / M1

倉地亮介 / Ryosuke Kurachi

博士前期課程1年 / M1

辻光顕 / Mitsuaki Tsuji

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

士前期課程1年 / M1

清水航 / Ko Shimizu

 

 

卒業生 alumni

過去の在籍者はこちら