鄭 顕志

J-GLOBALへ         更新日: 18/10/09 10:22
 
アバター
研究者氏名
鄭 顕志
所属
早稲田大学
部署
理工学術院総合研究所
職名
研究院准教授 / 主任研究員
学位
博士(工学)(早稲田大学)
その他の所属
国立情報学研究所/GRACEセンター
科研費研究者番号
40434295
ORCID ID
0000-0003-1106-1709

プロフィール

早稲田大学大学院理工学研究科情報・ネットワーク専攻にて修士・博士課程修了.
現在,早稲田大学理工学術院総合研究所 研究院准教授/主任研究員.国立情報学研究所GRACEセンター特任准教授.
ソフトウェア工学の研究に従事.
特に,ソフトウェアアーキテクチャ,要求分析に興味を持つ.
近年は自己適応ソフトウェアのソフトウェアアーキテクチャ,ソフトウェア仕様・設計の自動生成技術,実行時ソフトウェア検証に関する研究を行っている.

情報処理学会,IEEE Computer Society各会員.

研究分野

 
 

経歴

 
2018年4月
 - 
現在
早稲田大学 理工学術院総合研究所 研究院准教授 / 主任研究員
 
2018年4月
 - 
現在
国立情報学研究所 GRACEセンター 特任准教授
 
2015年4月
 - 
2018年3月
国立情報学研究所 アーキテクチャ科学研究系 准教授
 
2015年4月
 - 
2018年3月
総合研究大学院大学 准教授
 
2010年4月
 - 
2015年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優秀プレゼンテーション賞
 
2006年10月
JAWS2006学生奨励賞
 

論文

 
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月   [査読有り]
階層離散制御器合成によるマルチロボットシステムの仕様生成手法
Masaki Katae, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
合同エージェントワークショップ&シンポジウム2016 (JAWS2016)   1-8   2016年9月   [査読有り]
Leandro Nahabedian, Victor Braberman, Nicolas D’Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei and Sebastian Uchitel
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2016)   96-107   2016年5月   [査読有り]
Best Paper Award
Masayuki Nii, Kenji Tei, and Fuyuki Ishikawa
Transactions on Engineering Technologies   79-93   2016年3月   [査読有り]
Bas de Bruijn, Tuan Anh Nguyen, Doina Bucur, and Kenji Tei
5th International Conference on Sensor Networks (SENSORNETS 2016)   185-195   2016年2月   [査読有り]

Misc

 
鵜林 尚靖, 鷲崎 弘宜, 鄭 顕志
コンピュータソフトウェア   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月   [査読有り]
Qualitative Analysis for Multiple Adaptation Loops
Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa,Shinichi Honiden,
GRACE Technical Report   1-29   2015年6月

講演・口頭発表等

 
鄭 顕志
2017年度 情報処理学会東海支部 講演会   2018年1月29日   情報処理学会東海支部
鄭 顕志
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日   
ClouT/BigClouT Project [招待有り]
Kenji Tei, ClouT/BigClouT Consortium
10th International Symposium on Intelligent Distributed Computing (IDC2016)   2016年10月11日   
Qualitative Analysis for Adaptation Strategies
Kenji Tei
Controlled Adaptation of Self-adaptive Systems (CASaS)   2016年4月27日   NII Shonan Meeting

担当経験のある科目

 
 

Works

 
鄭顕志   コンピュータソフト   2009年12月

競争的資金等の研究課題

 
文部科学省: 科学研究費補助金: 基盤研究(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年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
 
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
 

その他

 
ETロボコン本部審査委員(2009~現在)
合同エージェントワークショップ&シンポジウム プログラム委員(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)