研究
我的主要研究兴趣涉及理论计算机中系统的形式规范、验证和综合、游戏等领域科学、有限和无限对象上的自动机、逻辑语言的可判定性和不可判定性、时间逻辑和战略逻辑，以及数据库理论。目前，我主要关注三个具体主题：一阶逻辑片段的可判定性和不可判定性；决策程序战略逻辑；奇偶博弈和平均对偶博弈的有效算法。
简短的个人简历
2011年1月底，我在那不勒斯费德里科第二大学完成了所有学业，获得了博士学位在为一篇题为“计算机科学中的逻辑”的论文进行辩护后。作为一名博士生，我在计算机科学部形式系统研究小组工作了三年物理系。我于2007年10月毕业于计算机科学工程硕士，撰写了一篇关于时序逻辑的论文，题为“分支时间”时间逻辑：理论问题和计算机科学应用”。在此之前，2005年9月，我获得了同一专业的理学学士学位，讨论了一篇关于数字分解方法的论文，标题为“Sui Metodi e gli Algoritmi di Fattorizzazione”。2008年秋季，我是计算机科学系在莱斯大学，在Moshe Y.Vardi教授.在2010年冬天的一段时间里，我还是计算机科学与工程学院在希伯来大学，在双方的监督下工作Orna Kupferman教授博士和访问Moshe Y.Vardi教授。2011年7月至2014年10月，我在物理系属于之后，作为一名免费博士后研究员，我搬到了数学与应用系，截至2016年1月。2015年7月至2017年6月，我在计算机科学系的牛津大学,与合作Michael Benedikt教授博士.2017年7月至12月，我在计算机科学系属于这个维罗纳大学，与合作Massimo Merro教授.2017年9月至2019年1月，我还是这所大学的临时兼职教授，教授逻辑入门课程。自2017年底以来，我回到了那不勒斯费德里科二世大学。
即将发生的事件
ICTCS 2024（项目委员会）
MOVEP 2024（项目委员会）
AAMAS 2024（项目委员会）
IJCAI 2024（项目委员会）
过去的事件
2019/2020年ASPAI（项目委员会）
FMBC 2019（项目委员会）
IJCAI 2019/2020/2021/2023（项目委员会）
LAMAS&SR 2022（联合主席兼组织者）
LC 2022（受邀演讲）
OVERLAY 2021（项目委员会）
VardiFest 2022（受邀参与演讲）
AAMAS 2016/2019/2020（项目委员会）
CILC 2017（项目委员会）
GANDALF 2022/2023（项目委员会）
IJCAI-ECAI 2022（项目委员会）
LAMAS&SR 2023（项目委员会）
OVERLAY 2023（联合主席）
SR 2013/2014/2015（联合主席）
