鄭 顕志
Kenji Tei
更新日: 06/10
基本情報
- 所属
- 早稲田大学 理工学術院 准教授
- 国立情報学研究所/GRACEセンター 特任准教授
- 学位
-
博士（工学）(早稲田大学)
- 研究者番号
- 40434295
- J-GLOBAL ID
- 201101059665937624
早稲田大学大学院理工学研究科情報・ネットワーク専攻にて修士・博士課程修了．
現在，早稲田大学理工学術院国際理工学センター 准教授．国立情報学研究所GRACEセンター特任准教授．
ソフトウェア工学の研究に従事．
特に，ソフトウェアアーキテクチャ，要求分析に興味を持つ．
近年は自己適応ソフトウェアのソフトウェアアーキテクチャ，ソフトウェア仕様・設計の自動生成技術，実行時ソフトウェア検証に関する研究を行っている．
情報処理学会，IEEE Computer Society各会員．
現在，早稲田大学理工学術院国際理工学センター 准教授．国立情報学研究所GRACEセンター特任准教授．
ソフトウェア工学の研究に従事．
特に，ソフトウェアアーキテクチャ，要求分析に興味を持つ．
近年は自己適応ソフトウェアのソフトウェアアーキテクチャ，ソフトウェア仕様・設計の自動生成技術，実行時ソフトウェア検証に関する研究を行っている．
情報処理学会，IEEE Computer Society各会員．
研究キーワード
12研究分野
2経歴
15-
2019年9月 - 現在
-
2018年4月 - 現在
-
2018年4月 - 2019年9月
-
2015年4月 - 2018年3月
-
2015年4月 - 2018年3月
-
2010年4月 - 2015年3月
-
2010年4月 - 2015年3月
-
2008年4月 - 2010年3月
-
2008年4月 - 2010年3月
-
2008年4月 - 2010年3月
-
2007年4月 - 2008年3月
-
2006年4月 - 2008年3月
-
2005年4月 - 2008年3月
-
2006年4月 - 2007年3月
受賞
7-
2007年7月
-
2006年10月
共同研究・競争的資金等の研究課題
13-
文部科学省 科学研究費補助金: 基盤研究(B) 2018年4月 - 2022年3月
-
文部科学省 科学研究費補助金: 基盤研究(B) 2018年4月 - 2022年3月
-
文部科学省 科学研究費補助金: 基盤研究(B) 2018年4月 - 2022年3月
-
文部科学省 科学研究費補助金: 基盤研究(A) 2017年4月 - 2022年3月
-
NICT/H2020 欧州との連携によるハイパーコネクテッド社会のためのセキュリティ技術の研究開発（課題番号195） 2018年7月 - 2021年6月
-
NICT/H2020 欧州との連携による公共ビッグデータの利活用基盤に関する研究開発 2016年7月 - 2019年6月
-
文部科学省 科学研究費補助金(挑戦的萌芽研究) 2016年4月 - 2018年3月
-
文部科学省 科学研究費補助金(基盤研究(B)) 2013年 - 2017年
-
FP7/NICT 新世代ネットワークの実現に向けた欧州との連携による共同研究開発 2013年4月 - 2016年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2014年 - 2016年
-
文部科学省 科学研究費補助金(基盤研究(A)) 2012年 - 2014年
-
科学研究費補助金 若手研究（Ｂ） 2011年 - 2013年
-
科学研究費補助金 基盤研究(A) 2007年 - 2009年
主要な委員歴
13論文
115-
マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2021) 2021年6月 査読有り最終著者
-
16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2021) 2021年5月 査読有り最終著者
-
IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021) 1 - 10 2021年4月 査読有り
-
The 2020 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'20) 2020年12月 査読有り
-
The 20th International Conference on Intelligent Systems Design and Applications (ISDA) 2020年12月 査読有り
-
IEEE Third International Conference on AI and Knowledge Engineering (AIKE) 168 - 173 2020年12月 査読有り
-
IEEE Third International Conference on AI and Knowledge Engineering (AIKE) 183 - 187 2020年12月 査読有り
-
The 18th IEEE International Conference on Embedded and Ubiquitous Computing (IEEE EUC 2020) 33 - 40 2020年12月 査読有り
-
IEEE Transactions on Software Engineering (TSE) 46 1220 - 1240 2020年11月 査読有り
-
The 44th IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2020) 1113 - 1114 2020年7月 査読有り
-
マルチメディア，分散，協調とモバイルシンポジウム(DICOMO2020) 2020年6月 査読有り最終著者
-
15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2020) 78 - 84 2020年5月 査読有り最終著者
-
電子情報通信学会論文誌 D J103-D(4) 238 - 246 2020年4月 査読有り
-
情報処理学会論文誌 61(4) 853 - 862 2020年4月 査読有り
-
IEEE Access 8 63595 - 63606 2020年 査読有り
-
1068 - 1075 2019年12月 査読有り
-
IEEE/WIC/ACM International Conference on Web Intelligence (WI'19) 34 - 42 2019年10月 査読有り
-
情報処理学会論文誌 60(10) 1617 - 1630 2019年10月 査読有り
-
The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019) 1363 - 1370 2019年8月 査読有り
-
2nd International Workshop on Robotics Software Engineering (RoSE 2019) 5 - 12 2019年5月 査読有り
MISC
9-
コンピュータソフトウェア 1 - 8 2019年 査読有り
-
コンピュータソフトウェア 35(3) 96 - 101 2018年10月
-
情報処理 58(8) 702 - 704 2017年7月 招待有り
-
Enablers for Smart Cities 107 - 126 2016年7月 査読有り
-
Enablers for Smart Cities 1 - 21 2016年7月 査読有り
-
GRACE Technical Report 1 - 29 2015年6月
-
日本ソフトウェア科学会論文誌コンピュータソフトウェア 2014年5月 査読有り招待有り
-
システム制御情報学会誌 56(7) 389 - 390 2012年7月 査読有り招待有り
-
Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends 214 - 231 2010年 査読有り
講演・口頭発表等
25-
日本ソフトウェア科学会第37回大会 2020年9月9日
-
the 2nd International Workshop on Big data, cloud, and IoT technologies for smart cities (IWBigDataCity2020) 2020年2月19日 招待有り
-
JISA ITアーキテクトコミュニティイベント 2019年4月22日 一般社団法人 情報サービス産業協会 招待有り
-
Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone) 2018年12月20日
-
the 7th Asian-Pacific Workshop of Advanced Software Engineering (AWASE2018) 2018年10月16日
-
OU-NII-Lero-Khalifa-LYON1 Workshop on Software Engineering for Cyber-Physical-Social Systems CPSS 2018 2018年8月30日
-
2017年度 情報処理学会東海支部 講演会 2018年1月29日 情報処理学会東海支部 招待有り
-
Joint SMA/LIP6-NII WorkShop on Multi-Agent and Distributed Systems 2018年1月22日
-
No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017) 2017年9月2日
-
6th Asian Workshop of Advanced Software Engineering (AWASE2017) 2017年5月4日
-
OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017) 2017年4月7日
-
Embeded Technology (ET) 2016 2016年11月18日 JASA 招待有り
-
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) 2016年11月14日 招待有り
-
10th International Symposium on Intelligent Distributed Computing (IDC2016) 2016年10月11日 招待有り
-
No.77 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS) 2016年4月27日 招待有り
-
5th Asian Workshop on Advanced Software Engineering (AWASE2016) 2016年3月19日
-
World Engineering Conference and Convention 2015 (WECC2015) 2015年12月1日
-
3rd International Workshop on Self-Aware Internet of Things (Self-IoT 2015) 2015年7月7日
-
GRACE Workshop on Adaptive and Evolve Software Systems 2015年1月9日
-
4th Asian Workshop of Advanced Software Engineering (AWASE2014) 2014年10月11日
担当経験のある科目(授業)
8所属学協会
3Works(作品等)
2-
2009年12月 コンピュータソフト
-
2009年12月 コンピュータソフト