个人简介
       Fausto Giunchiglia在热那亚大学于1981年从电子工程学（计算机工程专业）毕业，1983年获得计算机工程专业学位，1987年获得计算机工程博士学位。自1999年以来，他一直担任意大利特伦托大学理学院的教授。1958年2月生于比利时，欧洲科学院院士，国家外专局外国高端专家，吉林大学唐敖庆讲座教授，意大利Trento大学教授，国际著名人工智能专家。他的主要研究方向是人工智能，形式方法，软件工程，自动推理，定理证明，模型检查等。Giunchiglia教授长期从事人工智能基础研究和应用研究，发表论文 380余篇，曾任国际人工智能大会（IJCAI）理事长、大会主席，意大利特伦托大学副校长，计算机系创始人、系主任。

教育经历
1987   热那亚大学工程学院，计算机工程博士学位
1983   热那亚大学工程学院，计算机工程硕士学位
1981   热那亚大学工程学院，电子工程（计算机工程专业）学士学位

工作经历
2002-2007       信息与通信技术系主任
2001-2004       意大利特伦托大学副校长
1999年至今     意大利特伦托大学理学院教授
1998-1999       意大利特伦托，ITC-IRST，自动推理系统部门负责人
1994-1997       意大利特伦托ITC-IRST项目经理
1992-1999       意大利特伦托大学经济系副教授
1992-1993       意大利特伦托ITC-IRST研究实验室主任
1990-1997       美国斯坦福大学计算机科学系访问学者
1990-1992       意大利热那亚大学工程学院研究员
1988-1991       意大利特伦托ITC-IRST高级研究员
1987-1988       英国爱丁堡大学人工智能系研究员
1986-1988       意大利热那亚大学工程学院，兼任教授
1985-1987       美国斯坦福大学斯坦福大学博士研究生
1983-1986       意大利热那亚大学工程学院，博士学位
1981-1983       意大利热那亚大学工程学院，研究助理

学术成员
2010-至今     欧洲信息学指导委员会成员，负责欧洲各部门和研究机构的评估
2010-至今     意大利信息工程学院（GII）、意大利信息工程学协会成员
2005-2007    IJCAI会议主席
2005–2009    亚洲语义网会议系列（ASWC）指导委员会委员兼副主席（欧洲）
2004-2006     欧洲人工智能（ECCAI）研究员
2002-至今     欧洲人工智能（ECCAI）研究员
2001-2011     IJCAI理事会成员
2002-2004     KR公司总裁
1999-2001     CALCULEMUS Interest Group理事会成员
1999-至今     SARA指导委员会委员
1997-2003     计算机科学逻辑（LICS） IEEE会议组委会成员
1997-2005     KR公司顾问委员会成员
1999-2011     关于建模和使用上下文(Context)国际跨学科论坛指导委员会成员

成果奖励/学术荣誉
2011     S-Match：语义匹配的算法和实现（与Pavel Shvaiko和Mikalai Yatskevich）合著，在Extended Semantic Web会议上被提名为7年来最具影响力的论文
2009    “概念搜索”（与Uladzimir Kharkevich和Ilya Zaihrayeu合著），在欧洲语义网大会（ESWC 2009）该论文获得了最佳论文奖评估委员会的特别提名
2008    “通过模型检查进行规划：AR的决策程序” （与Alessandro Cimatti，Enrico Giunchiglia和Paolo Traverso合著）1997年在欧洲规划会议（ECP）上发表的论文，十年后2008年9月，被《规划与调度》（ICAPS）选为最具影响力论文
2008     吉林大学名誉教授，中国长春
2006     IBM共享大学研究奖获得者
2002     欧洲人工智能（ECCAI）研究员（ 2002年提名）
1992     获意大利人工智能协会颁发的第一届人工智能奖获得者，1957年后出生的意大利最佳研究科学家
1990     论文摘要合著者，被AISB（行为与人工智能仿真协会）评为最佳论文
1986     在CNR（国家研究委员会）奖学金的资助下所做的杰出研究而获得CNR奖
1986     获得CNR（国家研究委员会）奖学金（一年）
1985     CNR（国家研究委员会）奖学金获得者（六个月）
1985     获得Fullbright奖学金
1984     “从描述到图像：两者之间的推理是什么？”一文的合著者，被评为欧洲人工智能大会（ECAI）上有关认知建模的最佳论文

学术兼职 
2010-                欧洲信息学指导委员会委员
2009-至今        《智能系统与技术处理》（ACM TIST）顾问委员会成员
2009-至今        《语义网研究丛书》编辑委员会成员
2009-2013        《自动化实验杂志》编辑委员会成员
2008- 至今        《数据语义学期刊》（JODS）编辑委员会成员
2002-至今        网络杂志–哲学或人工智能与认知科学杂志，科学委员会成员
2002-至今        QPQ（“ QED Pro Quo”）在线期刊咨询委员会成员
2002-至今        《人工智能及其应用的前沿》“ IOS出版社，丛书编委会成员
2001-至今        《应用非古典逻辑学报》编辑委员会成员
2001-至今        自治代理和多代理系统杂志，编辑委员会成员
2000-2004        AI Communications，AI AICOM编辑委员会成员
1999                STTT杂志联合编辑。标题：“技术转让的机械化定理证明”
1998                共同编辑《逻辑与计算期刊》（JLC），牛津大学出版社。标题：“多智能体系统的计算和逻辑方面”
1997-2006        STTT杂志，编辑委员会成员
1997-2001        《人工智能研究杂志》（JAIR）顾问委员会成员
1994-1996        《人工智能研究杂志》（JAIR）副主编
1993-1994        《人工智能研究杂志》（JAIR）编辑委员会成员

研究方向
人工智能基础研究和应用研究人工智能，形式方法，软件工程，自动推理，定理证明，模型检查，上下文和上下文推理（以及对其进行建模的逻辑），抽象推理，元理论推理，关于命题态度的推理，推理系统，面向代理和面向代理的软件工程，对等数据库，知识管理，上下文本体，“知识管理的多样性”的集成

论文：
在AAAI,UBICOMP, COMPUTERS IN HUMAN BEHAVIOR , ICSC , Artificial Intelligence等国际著名期刊发表论文350余篇

1. Mobile social media usage and academic performance Giunchiglia, Fausto; Zeni, Mattia; Gobbi, Elisa; Bignotti, Enrico; Bison, Ivano, "Mobile social media usage and academic performance" in COMPUTERS IN HUMAN BEHAVIOR, v. 82 (2018), (2018), p. 177-185

2. Teleologies: Objects, Actions and Functions Giunchiglia, Fausto; Fumagalli, Mattia, "Teleologies: Objects, Actions and Functions", Cham: Springer, 2017, 15 p. - DOI: 10.1007/978-3-319-69904-2_39

3. Personal context modelling and annotation Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia, "Personal context modelling and annotation" in Pervasive Computing and Communications, 2017 IEEE International Conference, Kona, Big Island, Hawaii, USA: IEEE, 2017. Proceedings of: IEEE 2017, San Diego, California, USA, 30 Jan - 01 Feb 2017

4. SemUI: A Knowledge Driven Visualization Of Diversified Data Giunchiglia, Fausto; Ojha, Sajan Raj; Das, Subhashis, "SemUI: A Knowledge Driven Visualization Of Diversified Data", San Diego, California: IEEE, 2017, sponsored by: Proceedings in 11th International Conference on Semantic Computing (ICSC – 2017)

5. HUMAN-LIKE CONTEXT MODELLING FOR ROBOT SURVEILLANCE Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia, "HUMAN-LIKE CONTEXT MODELLING FOR ROBOT SURVEILLANCE" in Pervasive Computing and Communications, 2017 IEEE International Conference, Stati Uniti: ISWER, 2017. Proceedings of: IEEE 2017, Stati Uniti, 13-17 marzo 2017

6. CONCEPTS AS (RECOGNITION) ABILITIES Giunchiglia, Fausto; Fumagalli, Mattia, "CONCEPTS AS (RECOGNITION) ABILITIES", Italy: IOS Press, 2016

7. From ER Models to the Entity Model Giunchiglia, Fausto; Fumagalli, Mattia, "From ER Models to the Entity Model" in 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Germania: Springer Verlag, 2014. Proceedings of: 19th Int'l Conference on Knowledge Engineering and Knowledge Management, Link?ping, Sweden, 24th November – 28th Novemberv

8. From Knowledge Organization to Knowledge Representation 9. Multi-device activity logging Zeni, Mattia; Zaihrayeu, Ilya; Giunchiglia, Fausto, "Multi-device activity logging" in Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication - UbiComp '14 Adjunct, USA: ACM, 2014, p. 299-302. - ISBN: 9781450330473. Proceedings of: UBICOMP 2014, Seattle, 13-17 settembre. - DOI: 10.1145/2638728.2638756

Giunchiglia, Fausto; Dutta, B.; Maltese, Vincenzo, "From Knowledge Organization to Knowledge Representation" in KNOWLEDGE ORGANIZATION, v. 2014, n. 41 (1) (2014), p. 44-56 10. Domains and Context: First Steps Towards Managing Diversity in Knowledge Giunchiglia, Fausto; Maltese, Vincenzo; B., Dutta, "Domains and Context: First Steps Towards Managing Diversity in Knowledge" in JOURNAL OF WEB SEMANTICS, v. 2012, (2012), p. 53-63. - DOI: 10.1016/j.websem.2011.11.007

11. A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology Giunchiglia, F.; Dutta, B.; Maltese, V.; Farazi, F., "A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology" in JOURNAL ON DATA SEMANTICS, v. 2012, n. 1 (2012), p. 57-73

12. S-Match: an open source framework formatching lightweight ontologies Giunchiglia, Fausto; Autayeu, Aliaksandr; Pane Fernandez, Juan Ignacio, "S-Match: an open source framework formatching lightweight ontologies" in SEMANTIC WEB, v. 3, n. 3/2012 (2012), p. 307-317. - DOI: 10.3233/SW-2011-0036

13. GeoWordNet: A Resource for Geo-Spatial Applications Giunchiglia, Fausto; Maltese, Vincenzo; F., Farazi; Dutta, Biswanath, "GeoWordNet: A Resource for Geo-Spatial Applications" in 7th Extended Semantic Web Conference, Heraklion, Greece: ESWC, 2010. Proceedings of: ESWC 2010, Heraklion, Greece, 30/5/11-2/6/11

14. A large dataset for the evaluation of ontology matching Giunchiglia, Fausto; Yatskevich, Mikalai; P., Avesani; Shvaiko, Pavel, "A large dataset for the evaluation of ontology matching" in KNOWLEDGE ENGINEERING REVIEW, v. 24, n. 2 (2009), p. 137-157. - DOI: 10.1017/S026988890900023X

15. Concept search Giunchiglia, Fausto; Kharkevich, Uladzimir; Zaihrayeu, Ilya, "Concept search" in Processing of ESWC'09, Lecture Notes in Computer Science, Germania: Springer, 2009. Proceedings of: ESWC'09, xx, xx

16. Semantic Matching: Algorithms and Implementation Giunchiglia, Fausto; Yatskevich, M; Shvaiko, P., ""Semantic Matching: Algorithms and Implementation"" in Journal on Data Semantics, USA: Springer, 2007, p. 1-38

17. Discovering Missing Background Knowledge in Onology Matching Giunchiglia, Fausto; Shvaiko, Pavel; Yatskevich, Mikalai, "Discovering Missing Background Knowledge in Onology Matching" in Frontiers in Artificial Intelligence and Applications: 17th European Conference on Artificial Intelligence: ECAI 2006, Amsterdam: IOS Press, 2006, p. 382-386. Proceedings of: ECAI 2006, Riva del Garda, 29th August-1th September 2006

18. TROPOS: an agent-oriented software development methodology P., Bresciani; A., Perini; Giorgini, Paolo; Giunchiglia, Fausto; Mylopoulos, Ioannis, "TROPOS: an agent-oriented software development methodology" in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, v. 8, n. 3 (2004), p. 203-236. - DOI: 10.1023/B:AGNT.0000018806.20944.e

19. NuSMV2: an open source tool for symbolic model checking A., Cimatti; E., Clarke; E., Giunchiglia; Giunchiglia, Fausto; Pistore, Marco; M., Roveri; Sebastiani, Roberto; A., Tacchella, "NuSMV2: an open source tool for symbolic model checking" in Computer-Aided verification (CAV'02), Berlin/Heidelberg: Springer, 2002, p. 359-364. - (Lecture Notes in Computer Science). - ISBN: 3540439978. Proceedings of: 14th international conference on computer aided verification (CAV'02), Copenhagen, 27th-31st July 2002

20. Local models semantics, or contextual reasoning = locality + compatibility C., Ghidini; Giunchiglia, Fausto, "Local models semantics, or contextual reasoning = locality + compatibility" in ARTIFICIAL INTELLIGENCE, v. 127, n. 2 (2001), p. 221-259

承担项目 
2019.8-2022.8            DELPhi-发现生活模式
2019.1-2022.12          WeNet -The Internet of US，680万欧元
2018.10-2021.9          CyCAT：塞浦路斯算法透明度中心
2017.4-2018.7            WhiteRabbit-轻松显示和管理个人信息
2016.12-2019.11        QROWD-因为人类可以进行大数据集成
2013.1-2016.12          SMART SOCIETY：混合和多样化感知的集体自适应系统：当人们遇到机器以建立更智能的社会
2013-2016                  ESSENCE：计算环境中共享语义的演变
2013- 2013                 ONRG：Office of Naval Research Science & Technology
2011.10-2014.9          CUBRIK：人类增强的时间感知多媒体搜索
2009-2012                  GLOCAL：网络媒体的基于事件的检索
2009.2-2012.1            LivingKnowledge –事实，观点和时间偏差
2009.4-2012               Insemtive：语义激励
2006-2009                  FIRB ISRAELE研究项目“用于文化访问和移动教育的智能技术”
2006.1-2008.12          " OpenKnowledge"研究项目，欧洲共同体项目（STREP）
2006-2008                 欧盟IRG研究项目“ EASTWEB：在语义WEB领域建立欧洲领先的综合性欧洲高等教育和研究社区”
2006-2008                 意大利HIT-DIT工业项目“用于eWelfare的分布式多机构文件系统”
2006-2007                 工业项目“ IBM共享大学研究（SUR）计划2006”
2006 -至今                工业项目，创建“ Trentino as Lab”，TASLAB I-II
2004-2008                “知识网”，卓越网络
2004-2007                研究项目“对等系统的软件方法论和技术”，美国宾夕法尼亚州斯坦普斯
2003- 2005               研究项目“用于在网络上检索高质量信息的人工智能技术”，COFIN 2003，PRIN计划
2003-2005                ITPAR03-SWENG教育与交通项目
2003-2004                TeleSistemi工业项目“ I–III知识管理问题”
2002-2005                FIRB计划“知识级自动化软件工程”研究项目
2002-2003                研究项目“用于空间规划的安全关键软件（SACSO）”（Agenzia Spaziale Italiana）；