Murano Aniello-主页

阿尼埃洛·穆拉诺

Aniello Murano是一位教授计算机科学专业Dipartmento di学院Ingegneria Elettrica e delle Tecnologie dell’Informazione公司的那不勒斯费德里科二世大学.

他的研究兴趣包括：
人工智能；完备信息下多智能体系统策略推理的形式化研究；无功系统的规范、验证和综合、模型检查和模块检查；形式语言、自动机理论、实时系统、下推和层次系统；时间和模式逻辑，人工智能战略推理的逻辑；博弈论，平价博弈，解决方案概念，自动机制设计。

多智能体系统外交策略综合。研究项目

ECAI 2025年（项目联合主席）。

2024年韩元（区域主席）。

H2020-MSCA项目SEAL（首席协调员）。

三份论文在接受AAMAS 2024年.

KR 2024接受的教程

在韩国100强中，最佳AI-2000型世界研究人员（参见AMiner网页).

我们正在招聘：Resilient AI的研究、博士和博士职位。

简短的简历
出版物(DBLP公司,学者,人资料,斯科普斯,研究门户)

科学总监阿斯特里亚（自动战略分析）实验室。

主要科学活动和奖项:
- 我担任主席CSL 2024年（与亚历山德拉·席尔瓦）
- 我担任IJCAI 2023的姐妹椅
- 我担任EUMAS 2023主席（与瓦迪姆·马尔文合作）
- 客座教授任命2023年夏季，在IRIT-图卢兹
- 我会给你一个教程@KR 2023自动化机械设计中的策略推理
- 我会给你一个AAMAS 2023教程自动化机械设计中的策略推理
- 2023-2025年PNRR研究单位协调员关于人工智能中的弹性战略推理。
- INDAM 2023项目负责人：机构设计中的战略推理
- 我担任联合主席精神2022@AIxIA 2022（与尼古拉·加蒂一起）
- PRIN 2020机组协调员.基于AI的弹性自我编程和战略推理（RIPER），PE6_7:人工智能，2022-2025
- 2022年摩根大通教师研究奖（与朱塞佩·德贾科莫）
- 费瑟博尔戈4.0。协调人SENECA公司。
- 西蒙斯研究所访问科学家2021年1月至5月，伯克利
- 我担任LAMAS-SR 2021主席
- 2020年双边意大利-法国项目定量战略逻辑（与Nicolas Markey合作）
- 我担任2019年FMAI主席
- 意大利科学能力工程计算机科学全职教授（2018年3月）
- 意大利科学能力计算机科学全职教授（2017年4月）
- 我担任2017年CILC总主席
- 我担任2017年FMAI主席
- 我担任2017年ICTCS主席
- 我担任2017年SR主席
- 2016年皇家学会奖（与Alessio Lomuscio共同担任PI）
- 地平线2020 LoGIcInMAS2016-2018年首席协调员
- 印度联合基金收入玛丽·居里项目2015-2017年首席协调员
- 2015年PRIMA最佳论文奖
- 我担任SR 2014主席
- 我会给你一个ESSLLI 2013指南
- 我担任2013年SR主席
- 我担任2012年奥运会主席
- 我担任甘道夫2012年主席
- 2010年维格瓦尼研究项目奖（与Orna Kupferman合作）
编辑委员会成员：
- 《人工智能研究杂志》（JAIR）编委
- 《人工智能评论》编委
- 基于知识的系统（KNOWSYS）编辑委员会成员
- ACM Computing Surveys（CSUR）编辑委员会成员
- 国际智能系统杂志（IJIS）编辑委员会成员
- 知识与信息系统（KAIS）编辑委员会成员
- 《计算机与系统科学杂志》（JCSS）编委
- 信息与计算（I&C）编辑委员会成员
- 数学与人工智能年鉴副主编
- 《基础信息》（FI）副主编（2019-2021）
- 逻辑、游戏和自动化亮点（指导委员会，2012-2018年）
项目委员会角色（自2014年起）：
- 2023年： AAAI 2023年,AAMAS 2023（特殊目的公司）、EUMAS 2023（主席）、IJCAI 2023、ECAI 2022、ICTAI 2023、GAIW 2023、LAMAS&SR-2023、PAAMS 2023、ICLP 2023
- 2022: AAAI 2022（特殊目的公司）,IJCAI 2022（spc）,LICS 2022年,AAMAS 2022（特殊目的公司）,PRIMA 2022年,PAAMS 2022年,LAMAS-SR 2021型《精神2022》。
- 2021:AAAI2021、IJCAI 2021（spc）、AAMAS 2021（spc）、KR 2021、PAAMS 2021、LAMAS SR 2021，联合主席。
- 2020:AAAI 2020、AAMAS 2020、IJCAI 2020，KR 2020、ECAI 2020（spc）、ICART 2020、PAAMS 2020、FMAI 2020。
- 2019年： AAAI 2019年,2019年AAMAS（特殊目的公司），2019年IJCAI,2019年PAAMS, FMAI 2019（联合主席）、RADICAL 2019、SR 2019。
- 2018: 2018年AAAI,2018年澳大利亚金融管理局,2018年ICTCS,2018年IJCAI,2018年LOFT,时代2018,2018年韩国,2018年ARQNL,2018年欧盟金融管理体系.
- 2017: AAAI 2017年,2017年澳大利亚金融管理局,CILC 2017（总主席）,2017年欧盟金融管理体系,2017年FoSSaCS,2017年FMAI（联合主席）,2017年ICTCS（主席）,SAC的KRR2017,2017年IJCAI,2017年LAMAS,2017年MFCS,SR 2017（联合主席）.
- 2016年： 2016年AAAI,2016年澳大利亚金融管理局,2016年ARQNL,2016年ECAI,2016年欧盟金融管理体系,2016年韩国,2016年IJCAI,喇嘛2016,2016年移动,2016年SR,时间2016,2016年WOA.
- 2015: AAAI 2015年,AAMAS 2015年,EUMAS 2015年,LAMAS 2015年,2015年SR（联合主席），时间2015,2015年WOA.
- 2014: 2014年澳大利亚金融管理局,2014年ARQNL,2014年CLIMA-XV,ECAI 2014年,2014年欧盟金融管理体系,2014年韩国,2014年LAMAS,
- 意大利人工智能协会（AIxIA）成员
- 亚洲太平洋人工智能协会（AAIA）成员
- 人工智能和行为模拟（AISB）成员
受邀会谈：
- MAS中策略推理的形式化方面.多代理系统逻辑研讨会-图卢兹大学-2022年9月2日
- MAS中策略推理的形式化方面. FLOC的VardiFest22-海法大学-2022年7月31日
- 关于模块检查的推理(幻灯片). 博赞大学-2016年7月27日
- 关于模块检查的推理. 2015年5月4日，LAMAS’15在伊斯坦布尔
- 关于战略逻辑的推理。2014年6月-帝国理工学院
- 形式验证中的策略推理. 2013年12月14日-ALFA 2013在开普敦
- 丰富的模态逻辑(幻灯片). 2013年11月7日，维也纳大学
- 策略推理：从模块检查到策略逻辑(幻灯片). 2013年9月23日-卢森堡大学
- 模块检查2013年7月9日-帝国理工学院
- 《战略逻辑》，2013年6月26日——帝国理工学院
- 战略推理2013年4月30日，VaToMAS在达格苏尔
- 用完美和不完美信息检查下推模块.布鲁塞尔自由大学——2013年1月25日
- 战略推理. 罗马拉萨皮恩扎大学——2012年12月11日
近期论文（2022-23）：
- 2023年韩元：随机环境中遗忘主体的策略能力, 与Francesco Belardinelli、Wojteck Jamroga和Munyque Mittelmann合作
- IJCAI 2023年：基于三值抽象的策略逻辑可扩展性验证, 与弗朗西斯科·贝拉迪内利（Francesco Belardinelli）、安吉洛·费兰多（Angelo Ferrando）、沃伊特克·贾姆罗加（Wojteck Jamroga）和瓦迪姆·马尔文（Vadim Malvone）合作
- IJCAI 2023年：战略逻辑中的折扣与Munique Mittelmann和Laurent Perrussel合作
- PAAMS 2023：多门停车问题与Francesco Noviello、Munyque Mittelmann和Silvia Stranieri合作
- AAAI 2023年:贝叶斯机制的形式验证，与B.Maubert、M.Mittelmann和L.Perrussel合著。
- ICAART 2023年《攻击图的博弈论方法》，作者：Davide Catta、Antonio Di Stasio、Jean Leneutre和Vadim Malvone。
- ICAART 2023年：Silvia Stranieri和Munyque Mittelmann提出的具有顺序分配的多智能体停车问题。
- TOCL公司（2023）：关于战略行为的质量和模糊性的推理，与Patricia Bouyer、Orna Kupferman、Nicolas Markey、Bastien Maubert和Giuseppe Perelli合作。ACM计算逻辑汇刊第24卷第3期（21）：1 38
- 人工智能（2022）：在部分已知环境中验证代理导航（与B.Aminof、S.Rubin、F.Zuleger）
- 2022年圣诞节(诉讼程序)：重复关键词拍卖中人性化策略的推理（与F.Belardinelli、W.Jamroga、V.Malvone、M.Mittelmann、L.Perrussel合著）
- 2022年韩国(诉讼)：战略推理中的公共和私人事务（与N.Fijalkow、B.Maubert、S.Rubin、M.Y.Vardi合著）
- IJCAI 2022年(诉讼)：机构的自动综合（与B.Maubert、M.Mittelmann、L.Perrussel合作）
的发起人分拆 感应电动机应用程序
文件后：
- 穆尼克·米特尔曼（2022年10月-）
- Michal Tomasz Godziszewski先生（2023年9月-）
- 大卫·卡塔（2023年6月-）
- 弗朗西斯科·齐亚列洛（2023年5月至2024年4月）
- 西尔维娅·斯特拉尼埃里（2022年3月-2023年2月）
- 巴斯蒂安·莫伯特, 玛丽·居里奖学金（2016年3月至2022年9月）
- 萨沙·鲁宾, 玛丽·居里（Marie Curie）共同基金@INdAM（2015年3月至2019年5月）
- 洛雷达娜·索伦蒂诺（2015年3月-2018年3月）
- Kouvaros Panagiotis公司, （2017年1月至4月）
- 劳拉·博泽利（2016年9月-2018年8月）.
- 达里奥·德拉·莫妮卡, 玛丽·居里（Marie Curie）共同基金@INDAM（2016年1月至2018年9月）
- 罗塞拉·阿库奇（2015年3月至2016年2月）
- 法比奥·莫加维罗（2011年11月-2014年10月）
实习：
博士生：
- 西尔维娅·斯特拉尼埃里(博士论文2022年5月）
- 安东尼奥·迪·斯塔西奥(博士2019年2月）
- 瓦迪姆·马尔文(博士2018年）
- 朱塞佩·佩雷利(博士2015年）
- 洛雷达娜·索伦蒂诺(博士2015年）
- 法比奥·莫加维罗(博士2011年）
- 亚历山德罗·比安科(博士2011年）
教学（大部分用意大利语）：
- 里切维门托：图蒂10点到12点，通过普雷森扎的球队（工作室del docente a via Claudio）。Contattatemi i giorni precenti via mial per riservare uno插槽。
- FMSD课程Esame di estiva。在presenza o a distanza，previa prenotazione su Segrepass中，E“possibile svolgere l”same。Si puóconventire una data con il docente，previo accordo via mail（通过邮件预先确认）。
Terza Missione公司

关于ASTREA最近活动的技术报告（意大利语）.

我的

厄德斯数

是3:P.Erdös->Joel H.Spencer->M.Y.Vardi->A.Murano

联系方式：

Ingegneria Elettrica e Tecnologie dell’Informazione研究生院

那不勒斯大学“费德里科二世”

Via Claudio，21岁

意大利那不勒斯80125号。

电话：+39 081 679279

电子邮件1：

nello.murano（AT）gmail.com

电子邮件2：

aniello.murano（AT）unina.it公司

内洛·穆拉诺·内洛