我是助理教授(RTD-B型)在信息学院拉萨皮恩扎罗马大学。
我的研究兴趣涉及人工智能形式化方法的许多方面。特别是,我致力于多智能体系统的验证和综合、知识表示、战略推理、逻辑、游戏和自动机理论。2023年,我收到了“Marco Somalvico”青年研究员奖来自意大利人工智能协会(Italian Association for Artificial Intelligence)的37名意大利研究人员,他们为推动该领域的最先进技术做出了自主贡献。2012年,我获得了意大利逻辑及其应用协会颁发的最佳逻辑硕士论文3+2奖。
研究
逻辑与自动化
在我的博士学位期间,我专注于多智能体系统中验证和合成战略行为的逻辑研究。特别是,我对战略逻辑的发展做出了决定性的贡献:这是一种现在广泛应用于人工智能和形式化方法中的语言,用于推理多智能体系统中的策略和动作。
理性综合
在我担任牛津大学、莱斯特大学和查尔默斯大学助理研究员的几年里,我的主要关注点是理性验证和合成,涉及游戏平衡的合成,这些游戏被用作多智能体交互场景的建模工具,如自主驾驶汽车,自动化仓库等。我为发展欧氏瓣心内膜炎:一种形式化验证工具,用于自动分析并发和多智能体系统的时间平衡特性。
有限跟踪
我专注于定义和解决有限时间规范的合成变体。该问题直接应用于规划、业务流程管理以及机器人技术等领域,其中代理任务被假定为具有有限持续时间。
规范体系
我最近的重点是规范体系,涉及通过规范和其他正式定义的机制来管理MAS的问题,这些机制用于从全球/设计师的角度保证系统的正确施工行为。
可用论文
我愿意监督B和Theses女士这些可以面向调查(针对B)、实施(针对B和M)或研究问题(主要针对M,但也包括B)。本主题涵盖人工智能、形式化方法和多代理系统的几个领域,包括:
- 自动推理包括策略的逻辑表示和推理。
- 验证、综合和理性综合包括单代理和多代理系统。
- 线性时间时序逻辑,包括形式验证中的自动机理论和博弈论方法。
- 规范体系包括机制和多agent系统设计。
下面是关于这些主题的更详细的教科书列表:
免责声明:我知道不在机器学习中工作。请先看一下上面的参考列表,然后再联系我。
选定的会谈
- 从综合到理性综合:基于逻辑的多智能体系统方法
- 轨迹对齐和时间轨迹对齐:一种基于自动机的方法
- 多代理系统验证的逻辑
- 战略逻辑:博弈论问题的一种强有力的形式主义
- 2014年11月24日:加州大学圣克鲁斯分校研讨会演讲
- Le Logiche Temporali e di Strategia nell'Ambito della Verifica Formale公司
- 2013年4月5日:那不勒斯大学“Federico II”2013年SeLP会议