韓 吉新
カン キッシン (Jixin Han)
更新日: 03/09
基本情報
- 所属
- 早稲田大学・理工学術院 基幹理工学部 講師
- 学位
-
博士(工学)(2022年2月 早稲田大学)
- J-GLOBAL ID
- 201801016966309271
- researchmap会員ID
- B000329041
2017年から早稲田大学基幹理工学部の博士課程に進学。
研究分野はコンパイラ、形式検証となります。
研究分野はコンパイラ、形式検証となります。
学歴
3-
2017年4月 - 2022年3月
-
2014年9月 - 2017年3月
-
2010年9月 - 2014年9月
論文
7-
2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) 2021年11月
-
Journal of Information Processing 29 823-838 2021年
-
The 2019 International Conference on High Performance Computing & Simulation (HPCS 2019) 1-8 2019年7月 査読有り
-
情報処理学会プログラミング研究会 – 第118回プログラミング研究発表会PRO 1-10 2018年3月
-
情報処理学会第217回システム・アーキテクチャ研究発表会 ARC-217 組込み技術とネットワークに関するワークショップ(ETNET2017) 1-6 2017年3月
-
SEPS 2016 - Proceedings of the 3rd International Workshop on Software Engineering for Parallel Systems, co-located with SPLASH 2016 1-9 2016年10月21日 査読有り
MISC
1-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(510) 207-212 2017年3月9日
担当経験のある科目(授業)
6-
2023年4月 - 現在
-
2022年4月 - 現在
-
2021年4月 - 現在
-
2021年4月 - 現在
-
2020年4月 - 現在
-
2020年4月 - 現在