鄭研究室

About关于研究室

迈向柔韧的软件。

鄭研究室致力于实现能够针对运行时的变化灵活演化和适应的自主软件系统。
随着软件与物理世界和社会基础设施的联系日益紧密，能够针对变化进行自我修复、自我优化和自我防御的“柔韧的软件”受到越来越多的需求。
研究对象涵盖云原生系统、机器人、联邦学习、人机界面等多个领域。
以自适应技术、形式化综合方法、生成式AI、人类-自主系统交互这4个领域为中心，从理论到应用开展研究。

Research研究课题

致力于研究如何实现能够针对运行时的变化灵活演化和适应的自主软件系统。以自适应技术、形式化综合方法、生成式AI、人类-自主系统交互这4个领域为中心，从理论到应用广泛开展研究。

※示意图

自适应软件↗

软件运行的环境在不断变化，在开发阶段无法预测所有这些变化。该研究旨在预先在软件中内置这样的功能：发现环境的变化，判断需要进行哪些更改，并对自身进行改造。

※示意图

离散控制器综合↗

这是一种根据用标记迁移系统表示的环境模型，以及安全性和活性条件，自动生成在数学上保证正确的控制器的技术。同时也研究搜索算法的高效化，以及结合强化学习和LLM的综合方法。

※示意图

生成式AI与软件工程↗

这是将大语言模型（LLM）和生成式AI融入软件工程的研究。涉及在自适应系统中的应用、由LLM引导的离散控制器综合、进化计算和AutoML的高效化，以及在安全领域的应用等。

※示意图

人与自主系统的交互↗

这是关于自动驾驶汽车、无人机、机器人等自主系统与人类共存、协作的研究。研究内容包括面向车外的人机界面设计，以及在半自动驾驶中请驾驶员接管驾驶时的提示方式等。

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。