基本情報

所属
早稲田大学・理工学術院 基幹理工学部 大学助手
学位
修士(工学)(早稲田大学)

J-GLOBAL ID
201801016966309271
researchmap会員ID
B000329041

2017年から早稲田大学基幹理工学部の博士課程に進学。
研究分野はコンパイラ、形式検証となります。

研究キーワード

  3

受賞

  1

論文

  5