朱塞佩佩雷利

我是助理教授(RTD-B型)在信息学院拉萨皮恩扎罗马大学。

我的研究兴趣涉及人工智能形式化方法的许多方面。特别是，我致力于多智能体系统的验证和综合、知识表示、战略推理、逻辑、游戏和自动机理论。2023年，我获得了意大利人工智能协会颁发的“Marco Somalvico”青年研究员奖，被评为37名意大利研究人员中的佼佼者，他们为推动该领域的最新技术做出了自主贡献。2012年，我获得了意大利逻辑及其应用协会颁发的最佳逻辑硕士论文3+2奖。

有关我的研究的更多详细信息，请访问研究第页。

可用论文

我愿意监督B和Theses女士这些可以面向调查（针对B）、实施（针对B和M）或研究问题（主要针对M，但也包括B）。本主题涵盖人工智能、形式化方法和多代理系统的几个领域，包括：

• 自动推理包括策略的逻辑表示和推理。
• 验证、综合和理性综合包括单代理和多代理系统。
• 线性时间时序逻辑包括形式验证中的自动机理论和游戏理论方法。
• 规范体系包括机制和多agent系统设计。

简短的个人简历

从2012年3月到2015年2月，我一直博士研究生在那不勒斯大学“Federico II”在…的监督下工作Aniello Murano教授.在我攻读博士期间，我一直是莱斯大学在…的监督下Moshe Vardi教授.2015年4月，我加入了牛津大学作为博士后研究助理，使用迈克尔·伍尔德里奇教授关于他的高级ERC项目比赛.2018年7月，我搬到了莱斯特大学然后，在2019年6月，查尔默斯/哥德堡大学与合作Nir Piterman教授作为研究助理关于他的Consolidator ERC项目dSynMA公司.从2020年1月到2021年11月，我一直在信息工程与自动化专业在罗马大学研究助理，使用Giuseppe de Giacomo教授关于他的高级ERC项目WhiteMech公司.