鄭 顕志

J-GLOBALへ         更新日: 19/07/22 09:59
 
アバター
研究者氏名
鄭 顕志
所属
早稲田大学
部署
理工学術院総合研究所
職名
研究院准教授 / 主任研究員
学位
博士(工学)(早稲田大学)
その他の所属
国立情報学研究所/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月
国立情報学研究所 アーキテクチャ科学研究系 助教
 
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優秀プレゼンテーション賞
 
2006年10月
JAWS2006学生奨励賞
 

競争的資金等の研究課題

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

論文

 
Minimising Makespan of Discrete Controllers: A Qualitative Approach
Ezequiel Castellano, Victor Braberman, Nicolás D'Ippolito, Sebastián Uchitel, Kenji Tei
58th IEEE Conference on Decision and Control (CDC 2019)      2019年12月   [査読有り]
to appear
An efficient co-Attention Neural Network for Social Recommendation
Munan Li, Kenji Tei, and Yoshiaki Fukazawa
IEEE/WIC/ACM International Conference on Web Intelligence (WI'19)   1-8   2019年10月   [査読有り]
to appear
自己適応システムのための環境モデル実行時更新手法
田邉 萌香, 鄭 顕志, 本位田 真一
情報処理学会論文誌   60(10) 1-14   2019年10月   [査読有り]
採録決定
Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems
Kazuya Aizawa, Kenji Tei, and Shinichi Honiden
The 16th IEEE International Conference on Advanced and Trusted Computing (ATC 2019)      2019年8月   [査読有り]
to appear
Piergiuseppe Mallozzi, Ezequiel Gustavo Castellano, Patrizio Pelliccione, Gerardo Schneider and Kenji Tei
2nd International Workshop on Robotics Software Engineering (RoSE 2019)   5-12   2019年5月   [査読有り]
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)   70-76   2019年5月   [査読有り]
環境変化時に保証可能な安全性を特定するためのゲーム分析アルゴリズム
相澤和也,鄭顕志,本位田真一
情報処理学会論文誌   60(4) 1025-1039   2019年4月   [査読有り]
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月   [査読有り]

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日   

担当経験のある科目

 
 

Works

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

その他

 
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)