欢迎访问吉林大学未来科学国际合作联合实验室!

今天是
首页 / 团队成员 / 正文
    • Fausto Giunchiglia教授

      欧洲科学院院士                        
      意大利特伦托大学                        
      电话:+39 0461 28 15 33                      
      传真:+39 0461 28 20 93                      
      邮箱:fausto@disi.unitn.it                      
      个人主页:http://fausto.disi.unitn.it

    • 个人简介

      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)编辑委员会成员

    • 研究方向

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

      论文:

      Advisory board member of the Transactions on Intelligent Systems and Technology (ACM TIST) , 2009-present
      Editorial Board member of the Book Series on Studies on the Semantic Web, 2009-present
      Editorial Board member of the Journal of Automated Sperimentation , 2009-2013
      Editorial Board member of the Journal of Data Semantics (JODS), 2008-present
      Scientific Committee member of the journal Networks – a journal in philosophy or artificial intelligence and cognitive sciences, 2002-present
      Member of the Advisory Board of the QPQ (“QED Pro Quo”) online journal of peer-reviewed source code for deductive software components, 2002-Present
      Member of the Editorial Board of the Book series “Frontiers in AI and its applications”, IOS Press, 2002-present.
      Co-editor Special Issue of the Artificial Intelligence Journal on “Abstraction“, Springer Verlag, 2004.
      Editorial Board Member of the Journal of Applied non Classical Logics, Hermes-Science Publication, 2001-present.
      Editorial Board Member of the Int. Journal of Autonomous Agents and Multi-Agent Systems, 2000-2010.
      Editorial Board Member of AICOM – AI Communications, IOS Press, 2000-2004.
      Co-editor Special Issue Int. Journal on Software Tools for Technology Transfer (STTT) (Springer). Title: “Mechanized Theorem Proving for Technology Transfer”, 1999.
      Co-editor Special Issue Journal of Logic and Computation (JLC), Oxford University Press. Title: “Computational and Logical Aspects of Multi-Agent Systems”, 1998.
      Editorial Board Member of the Int. Journal on Software Tools for Technology Transfer (STTT) (Springer), 1997-2006.
      Advisory Board Member of the Journal of Artificial Intelligence Research(JAIR), 1997-2001.
      Associate Editor of the Journal of Artificial Intelligence Research (JAIR), 1994-1996.
      Editorial Board Member of the Journal of Artificial Intelligence Research(JAIR), 1993-1994.

    • 承担项目

      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 OWD-因为人类可以进行大数据集成

      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);