Members

STAFF

准教授 / Associate Professor

市川 昊平/ Kohei Ichikawa

 

客員准教授 / Visiting Professor

高井 利憲 / Toshinori Takai

客員准教授 / Visiting Professor

田中 康 / Yasushi Tanaka

 

助教 / Assistant Professor

高橋 慧智 / Keichi Takahashi

 

共同研究者 / Collaborating Researcher

吉田 則裕 / Norihiro Yoshida

STUDENTS

博士後期課程2年 / D2

柿本 和希 / Kazuki Kakimoto

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

 

博士後期課程1年 / D1

Wassapon
Watanakeesuntorn

 

 

博士前期課程2年 / M2

鐘ヶ江 由佳 / Yuka Kanegae

 

 

博士前期課程2年 / M2

倉地 亮介 / Kurachi Ryosuke

 

 

 

博士前期課程2年 / M2

辻 光顕 / Mitsuaki Tsuji

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

 

博士前期課程2年 / M2

Kundjanasith Thonglek

 

博士前期課程1年 / M1

深澤 佑樹 / Fukasawa Yuki

博士前期課程1年 / M1

千田 将也 / Senda Masaya

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

博士前期課程1年 / M1

前田 健登/Maeda Kento

 

 

 

 

卒業生 alumni

過去の在籍者はこちら