鄭 顕志 更新日: 19/03/07 14:24
研究者氏名
鄭 顕志 所属
早稲田大学 部署
理工学術院総合研究所 職名
研究院准教授 / 主任研究員 学位
博士（工学）(早稲田大学) その他の所属
国立情報学研究所/GRACEセンター 科研費研究者番号
40434295 ORCID ID
0000-0003-1106-1709
プロフィール 早稲田大学大学院理工学研究科情報・ネットワーク専攻にて修士・博士課程修了．
経歴
2018年4月
-
現在
早稲田大学 理工学術院総合研究所 研究院准教授 / 主任研究員
2018年4月
-
現在
国立情報学研究所 GRACEセンター 特任准教授
2015年4月
-
2018年3月
国立情報学研究所 アーキテクチャ科学研究系 准教授
2015年4月
-
2018年3月
総合研究大学院大学 准教授
2010年4月
-
2015年3月
国立情報学研究所 アーキテクチャ科学研究系 助教
2010年4月
-
2015年3月
総合研究大学院大学 助教
2008年4月
-
2010年3月
早稲田大学 メディアネットワークセンター 助教
2008年4月
-
2010年3月
国立情報学研究所アーキテクチャ科学研究系 特任助教(非常勤)
2007年4月
-
2008年3月
早稲田大学基幹理工学部 助手
2006年4月
-
2007年3月
早稲田大学理工学部 助手
受賞
2016年9月
合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 優秀論文賞 自己適応システムのための実行時環境モデル学習手法
受賞者: 田邉萌香，鄭顕志，深澤良彰，本位田真一
2016年5月
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2016) Best Paper Award Assured and Correct Dynamic Update of Controllers
受賞者: Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
2012年8月
International Academy, Research, and Industry Association SENSORCOMM 2012 Best paper award Classification of Faults in Sensor Readings withStatistical Pattern Recognition
受賞者: Valentina Baljak, Kenji Tei, Shinichi Honiden
2007年7月
DICOMO2007優秀プレゼンテーション賞
競争的資金等の研究課題
文部科学省: 科学研究費補助金: 基盤研究(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月 代表者: 東日本電信電話株式会社
委員歴
2018年5月
-
現在
International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Steering Committee
2019年5月
-
2019年5月
14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019) co-Program Chair
2018年4月
-
現在
IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) Program Committee
2016年5月
-
現在
International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) Program Committee
2017年
-
現在
International Conference on Engineering of Complex Computer Systems (ICECCS) Program Committee
2018年12月
-
2018年12月
No.118 NII Shonan Meeting on Modelling and Analysing Resilient Cyber-Physical Systems Organizer
2017年7月
-
2017年7月
No.110 NII Shonan Meeting on The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017) Organizer
2015年5月
-
2015年5月
No.077 NII Shonan Meeting on Controlled Adaptation of Self-adaptive Systems (CASaS) Organizer
論文
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
2nd International Workshop on Robotics Software Engineering (RoSE 2019) 2019年5月 [査読有り]
(to appear)
Modelling and Analysing Resilient Cyber-Physical Systems
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinishi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel Moreno, Hausi Muller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos and Haiyan Zhao
the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2019) 1-7 2019年5月 [査読有り]
(to appear)
環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム
相澤和也，鄭顕志，本位田真一
情報処理学会論文誌 2019年 [査読有り]
採録決定
L. Nahabedian and V. Braberman and N. DIppolito and S. Honiden and J. Kramer and K. Tei and S. Uchitel
IEEE Transactions on Software Engineering (TSE) 2018年10月 [査読有り]
Accepted/In press
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
the 3rd IEEE International Conference on Agents (ICA 2018) 75-80 2018年9月 [査読有り]
Shunichiro Suenaga, Kenji Tei and Shinichi Honiden
2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM2017) 691-695 2017年12月 [査読有り]
Aurélien Vialon, Kenji Tei and Samir Aknine
The 2nd International Workshop on Models@run.time for Self-aware Computing Systems at ICAC 2017 233-238 2017年7月 [査読有り]
Ehsan Ullah Warriach, and Kenji Tei
International Journal of Sensor Networks (IJSNet) 24(1) 1-13 2017年5月 [査読有り]
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, and Shinichi Honiden
the 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017) 1198-1204 2017年4月 [査読有り]
自己適応システムのための実行時環境モデル学習手法
Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
合同エージェントワークショップ＆シンポジウム2016 (JAWS2016) 1-8 2016年9月 [査読有り]
Misc
ICSE 2018 参加報告
吉岡信和, 鵜林尚靖, 石川冬樹, 鄭顕志, 鷲崎弘宜
コンピュータソフトウェア 1-8 2019年 [査読有り]
In Printing
鵜林 尚靖, 鷲崎 弘宜, 鄭 顕志
コンピュータソフトウェア 35(3) 96-101 2018年10月
ソフトウェア工学の最前線 〜ソフトウェアが社会のすべてを定義する時代〜：［未来に向かって］10．IoT時代の環境適応型ソフトウェア
中川 博之, 鄭 顕志, 田原 康之
情報処理 58(8) 702-704 2017年7月 [依頼有り]
Kenji Tei, Levent Gürgen, and Takuro Yonezawa
Enablers for Smart Cities 107-126 2016年7月 [査読有り]
Kenji Tei
Enablers for Smart Cities 1-21 2016年7月 [査読有り]
講演・口頭発表等
Kenji Tei
Third International Workshop on Software Engineering for Cyber-Physical-Social Systems 2018 in Hakone (CPSS-2018-Hakone) 2018年12月20日
Kenji Tei
the 7th Asian-Pacific Workshop of Advanced Software Engineering (AWASE2018) 2018年10月16日
Kenji Tei
OU-NII-Lero-Khalifa-LYON1 Workshop on Software Engineering for Cyber-Physical-Social Systems CPSS 2018 2018年8月30日
鄭 顕志
2017年度 情報処理学会東海支部 講演会 2018年1月29日 情報処理学会東海支部
Kenji Tei
Joint SMA/LIP6-NII WorkShop on Multi-Agent and Distributed Systems 2018年1月22日
Qualitative Analysis for Adaptation Strategies
Kenji Tei
No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017) 2017年9月2日
Kenji Tei
6th Asian Workshop of Advanced Software Engineering (AWASE2017) 2017年5月4日
Kenji Tei
OU-NII-Khalifa Workshop on SE for Cyber-Physical-Social Systems (CPSS2017) 2017年4月7日
鄭 顕志
Embeded Technology (ET) 2016 2016年11月18日 JASA
Kenji Tei with Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, and Sebastian Uchitel
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) 2016年11月14日
その他
合同エージェントワークショップ&シンポジウム プログラム委員(2007〜現在)
ACM International Collegiate Programming Contest Asia Regional Contest 2010 in Tokyo, Vice director (2010)
International Workshop on Software Patterns and Quality(SPAQu) Program Committee (2007~2008)
第69回情報処理学会全国大会 現地実行委員 (2007)
