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

今天是
首页 / 团队成员 / 正文
  • 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)编辑委员会成员

    研究方向

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

    承担项目

    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)