鄭研究室

About研究室について

しなやかなソフトウェアの実現へ。

鄭研究室は、実行時の変化に対して柔軟に進化・適応できる、自律ソフトウェアシステムの実現を目指しています。
ソフトウェアが物理世界や社会インフラと密接に関わるようになり、変化に対して自己修復・自己最適化・自己防御する「しなやかなソフトウェア」が求められています。
クラウドネイティブシステム、ロボット、連合学習、ヒューマンインタフェースなど、さまざまな領域を対象にしています。
自己適応技術、形式的合成手法、生成AI、人間-自律システムインタラクションの4領域を中心に、理論から応用まで取り組んでいます。

Research研究テーマ

実行時の変化に対して柔軟に進化・適応できる自律ソフトウェアシステムを実現するための研究を行っています。自己適応技術、形式的合成手法、生成AI、人間-自律システムインタラクションの4領域を中心に、理論から応用まで幅広く取り組んでいます。

※イメージ画像

自己適応ソフトウェア↗

ソフトウェアが動く環境は絶えず変わり、その変化を開発のときにすべて予測することはできません。環境の変化を見つけ、どんな変更が必要かを決め、自分自身を作り変える機能をあらかじめ組み込む研究です。

※イメージ画像

離散制御器合成↗

ラベル付き遷移システムで表した環境のモデルと、安全性・活性の条件から、正しさが数学的に保証された制御器を自動生成する技術です。探索アルゴリズムの効率化や、強化学習・LLMを組み合わせた合成にも取り組みます。

※イメージ画像

生成AIとソフトウェア工学↗

大規模言語モデル（LLM）や生成AIを、ソフトウェア工学に統合する研究です。自己適応システムへの応用、LLMに導かれた離散制御器合成、進化計算やAutoMLの効率化、セキュリティへの応用などをあつかいます。

※イメージ画像

人と自律システムの関わり↗

自動運転車・ドローン・ロボットなどの自律システムと、人間の共存・協働に関する研究です。車の外に向けたヒューマンマシンインタフェースの設計や、半自動運転で運転を引き継いでもらうときの伝え方などを調べています。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。