删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

丽娃河畔来了三位计算机时序逻辑研究领域世界顶尖专家

本站小编 Free考研考试/2021-01-16

10月30日,应信息学部软件工程学院邀请,2007年图灵奖获得者Joseph Sifakis教授,美国科学院院士、美国工程院院士、欧洲科学院院士Moshe Y. Vardi教授和ACM会士、IEEE会士Giuseppe De Giacomo教授三位计算机时序逻辑研究领域的顶尖专家来到华东师大,对话信息学部师生,分享前沿理念,并将以华东师大荣誉教授的新身份,助力华东师大推动人工智能领域的创新发展。
“最强大脑”加盟华东师大

华东师大校长钱旭红为Joseph Sifakis教授颁发荣誉教授聘书

华东师大校长钱旭红为Moshe Y. Vardi教授颁发荣誉教授聘书
  今天,Joseph Sifakis教授和Moshe Y. Vardi教授分别受聘华东师大荣誉教授。华东师大校长钱旭红为两位教授颁发聘书,赠送华东师大纪念书签,并佩戴校徽。
  两位教授均表示,非常期待与华东师大在科学研究、成果转化、人才培养等领域继续深化合作。
  华东师大校长钱旭红表示,信息科学学科在华东师大发展中的重要性日益上升,学科影响力也在不断增强,华东师大依托“智能+”行动计划,整合优势资源,组建了信息学部,以协同全校信息科学研究力量,促进学科交叉融合,推动信息科学学科高峰建设。他希望两位荣誉教授能为华东师大信息科学学科的未来发展提供帮助与建议。

Joseph Sifakis教授讲话
  Joseph Sifakis教授是法国国家科学研究中心研究总监、欧洲科学院院士、法国科学院院士、美国文理科学院院士、美国国家工程院院士。他创建的Verimag实验室(UJF/CNRS/INPG)以嵌入式系统著称世界,他发明的“模型检查”技术广泛应用于工业界。

Moshe Y. Vardi教授讲话
  Moshe Y. Vardi教授首次提出了线性时态逻辑和自动机语言表达能力等价,该结论如今已是主流验证领域核心技术的理论基石。他还和Giuseppe De Giacomo教授联合提出了有限行为解释下的线性时态逻辑,成功将线性时态逻辑应用到了人工智能领域。此外,两人还开创性地利用线性时态逻辑综合研究来解决机器人路径规划的问题。
华东师大的“老朋友”
  三位专家均与华东师大有着长期的深入合作关系,在联合科研、人才培养、成果转化等合作领域已产出多项成果。

今年5月,Joseph Sifakis来华东师大作学术报告
  Joseph Sifakis教授早在2004年就以学术交流的形式来访过华东师大软件学院;今年5月,他再访华东师大,与师生畅谈“自主系统”,并实地考察华东师范大学国家可信嵌入式软件工程技术研究中心和上海工业控制系统安全创新功能型平台,指导软件学院科研基地的科研项目及产品。

今年5月,Joseph Sifakis与何积丰院士探讨学术问题

今年5月,Joseph Sifakis与华东师大研究团队开展学术研讨
  他与华东师大嵌入式软件与系统系、上海工业控制系统安全创新功能型平台的研究团队已建立了常规化的合作交流,并已受聘成为上海工业控制系统安全创新功能型平台的“首席科学顾问”,定期举行每周一次的视频会议,合作撰写的文章也已投稿。他表示:“下一步,我们将与上海工业控制系统安全创新功能型平台合作,在形式化方法、工具应用、产学研一体化等方面开展全方位的合作,联合推动华东师大在相关领域的科学研究及成果转化。”

Moshe Y. Vardi教授来华东师大交流
  Moshe Y. Vardi教授与华东师大的合作已有12年历史,至今联合培养博士研究生2名、博士后研究生1名,累计发表合作论文20余篇,其中10余篇是CCF推荐B类以上论文,包括5篇CCF A类推荐论文。他与华东师大科研团队的合作研究在解决计算机自动化验证和程序综合中的关键问题中作出了突破性贡献,研究成果也达到了国际一流水准。双方的最新合作聚焦于硬件验证和机器人路径规划两大时下热门的研究领域,“我们的目标是在未来5年内,将已有的理论研究成果应用到商业化的计算机硬件安全和人工智能安全领域。”Vardi教授说。
  Giuseppe De Giacomo教授从2019年初开始与华东师大可信计算验证团队进行了线性时态逻辑可综合的问题研究,该研究的成果可以用来解决人工智能中的机器人路径规划问题。据悉,华东师大的一名博士毕业生即将前往Giacomo课题组,深入系统地从事人工智能领域的机器人路径规划方法研究。
丽娃河畔大师开讲

Moshe Y. Vardi教授作学术报告
  Vardi在题为“程序验证:半个世纪的年轮”的报告中,沿着时间线索讲述了近70年来程序验证思想在学术界、工业界等领域的发展和影响,其中包含理论基础,也涉及到了具体方法以及程序验证的辅助工具,同时还列举了形式化方法对程序进行验证的多个具有代表性的实例。他表示,虽然程序验证思想及方法已经取得了巨大的进步,但仍有许多工作要做,“程序验证梦”是个非常有价值的梦想。

Giuseppe De Giacomo教授作学术报告

学术提问交流
  Giacomo在题为“自省的可查询动态系统”的报告中,首先介绍了自省的可查询动态系统这一在社会经济环境的关键领域越来越受到推崇的系统,然后阐述了AI、形式化方法、数据库、处理器等其他计算机科学领域的发展为自省的可查询动态系统领域带来的积极影响,以及开放性的挑战,最后,他就如何解决这些问题提出了自己的建议。

文|符哲琦  图|符哲琦 王雨汀  来源|信息学部软件工程学院  编辑|钟望阳  编审|郭文君




相关话题/程序 系统

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 我校新版研究生招生考生服务系统上线运行
    本学期,我校研究生招生工作正式启用新版考生服务系统。研究生招生推荐免试预报名模块已于9月11日先行上线启用。系统运行稳定,报名流程清晰,考生体验较好。截至目前,我校研究生推荐免试有效报名记录近1万条,拟录取近1500名考生。新版研究生招生考生服务系统上线运行  研究生招生报名系统是学校面向社会公众和 ...
    本站小编 Free考研考试 2021-01-16
  • 【大培养】关于启动中国知网课程作业管理系统试用的通知
    各学部、院系:为进一步给教学提供辅助,完善学生学习过程的检测、评估与反馈机制,提升教育教学质量,研究生院拟于2019-2020学年第二学期试用“中国知网”课程作业管理系统,现将有关事项说明如下:各院系采用小论文、研究报告形式作为平时作业或者期末考核方式的课程,任课教师可根据需要选择试用“中国知网”课 ...
    本站小编 Free考研考试 2021-01-16
  • 关于人体实验伦理知识考试和实验动物福利与伦理知识考试系统开通与考试的通知
    各位研究生同学:您好!关于人体实验伦理知识考试和实验动物福利与伦理知识考试系统开通与考试的通知具体如下:1.人体实验伦理知识考试和实验动物福利与伦理知识考试系统现已正式开通,请需要参加人体实验伦理考试及实验动物伦理考试的研究生同学在考试系统中进行考试。伦理考试通知详见科技处网站:http://www ...
    本站小编 Free考研考试 2021-01-16
  • 汤涛获2016-2019年度上海市档案系统先进个人
    5月26日,上海市档案工作推进会在上海展览中心友谊会堂举行。市档案局局长、市档案馆馆长徐未晚作工作报告,市委常委、市委秘书长诸葛宇杰作总结讲话。会上对近年来全市档案系统工作业绩突出的先进集体和先进个人进行表彰。华东师大汤涛荣获上海市档案系统“先进个人”称号。  汤涛担任档案馆馆长期间策划主编30种近 ...
    本站小编 Free考研考试 2021-01-16
  • 吕长虹团队助推洋山港四期智能码头“中枢系统”研发
    让古老的数学,为“无人码头”增添智慧  上海洋山港四期码头装卸现场,一排排集装箱被准确无误地吊起和安放,吊车和自动导引运输车在各自的轨道上来回穿梭。码头和堆场犹如一张巨大的“棋盘”,130辆自动导引运输车依靠埋藏于地下的61199根磁钉定位,在接到操作系统基于实时装载需要和路况计算得出的最优路线指令 ...
    本站小编 Free考研考试 2021-01-16
  • 我校代表队获国际大学生程序设计竞赛亚洲区域赛(上海站)1金2铜
    第45届国际大学生程序设计竞赛(InternationalCollegiateProgrammingContest)亚洲区域赛(上海站)近日落幕,我校代表队荣获金牌1枚、铜牌2枚及荣誉奖1项。由于疫情原因,本年度亚洲区域赛首次在线上举办,参赛队伍数量是往年的3倍,共有来自中国内地及中国香港地区高校的 ...
    本站小编 Free考研考试 2021-01-15
  • 我校附属医院获上海市卫生健康系统“创新医疗服务品牌”6项、“援鄂创新医疗服务项目”5项
    12月14日,上海市卫生健康系统第四批“创新医疗服务品牌”入选品牌和“援鄂创新医疗服务项目”双双公布。我校附属医院6个项目获评第四批“创新医疗服务品牌”,5个项目获评“援鄂创新医疗服务项目”。第四批“创新医疗服务品牌”推选活动重点突出“生命至上,人民至上”理念,围绕人民群众看病就医“关心什么、期盼什 ...
    本站小编 Free考研考试 2021-01-15
  • 黄争鸣在复合材料损伤破坏与强度研究领域取得系统性突破,在线发表于“Composite Structures”
    近日,复合材料力学著名期刊“CompositeStructures”(《复合材料结构》)在线发表了我校航空航天与力学学院教授黄争鸣的最新代表性长文“ConstitutiveRelation,Deformation,FailureandStrengthofCompositesReinforcedwit ...
    本站小编 Free考研考试 2021-01-15
  • “导路者”全新升级,我校为进博会研发官方数字智能导览系统
    第三届中国国际进口博览会开幕式11月4日晚于国家会展中心(上海)举行。本届进博会的展览面积比上届增加14%。置身于偌大的展馆内,如何能省时省力、准确快速找到自己心仪的展位、观赏并了解展览内容?同济大学自主研发的这款高科技逛展神器——“导路者”,能为参观者精准定位、快速指路,并带来全新的观展体验。在为 ...
    本站小编 Free考研考试 2021-01-15
  • 我校主办第十三届“国际可持续发展城市交通系统研讨会”在线会议
    10月30日,由同济大学主办的第十三届国际可持续发展城市交通系统研讨会暨第十八届交通历史与发展国际论坛落下帷幕。我校副校长、中国工程院院士吴志强为大会致欢迎辞。他指出,会议的主题“后疫情时代的韧性城市:交通和大型活动”在当前形势下具有重要意义。全球化进程不会因新冠肺炎疫情而终止,而是会以其他形式开展 ...
    本站小编 Free考研考试 2021-01-15