「预告」暑期系列活动之学术分享会:新国大教授董劲松带你走进模型检测和可信机器学习

Wed, 14 Aug 2019 14:00:00 GMT ~ Wed, 14 Aug 2019 17:00:00 GMT
Limited 70
新国大人工智能创新及育成中心

Show

Please select the order price

第三方登录:

More Details

Event DetailsHide...

  • 在机器学习中,特别是在对不同模型的配置、不同的特征组合,在相同的数据和任务下进行评价的时候,模型检验是经常使用的方法之一。继持续交付课程成功举办之后,AI Center 迎来暑期系列活动第二弹——新国大教授董劲松带你走进模型检测和可信机器学习。



  • 「分享主题」


  • 模型检测和可信机器学习

    Model Checking and Trusted Machine Learning

  • 摘要:

  • PIN和SMV等流行的模型检测器都是针对特定领域而设计的,并且只针对特定模型语言。演讲的第一部分会介绍如何把基于状态、实践、实时和概率的表达系统与模型检测结合。我们会展示一个过程分析工具集PAT——一个用来进行系统检查、模拟和验证的独立的推理系统,并在很多领域有实际的应用。演讲的第二部分会介绍我们一个基于可信赖的机器学习系统Silas的最新科研成果,这是和 Dependable Intelligence 公司合作的一个成果。

  • 「分享嘉宾」


  • 董劲松

    新加坡国立大学计算机学院教授

  • 嘉宾简介:

    董劲松博士是新加坡国立大学计算机学院的正教授、澳大利亚工程院院士、同时担任澳洲格里菲斯大学(兼职)的科研正教授,从2017年至2018年,他在担任格里菲斯大学综合智能研究院(IIIS)院长的两年内,成功将IIIS外部资金翻了一番。除此之外,他也曾是英国牛津大学和日本国立信息研究院的客座教授。

    他的研究领域包括正式化方法,电脑安全系统,概率推理和可信赖的机器学习。他共同创立了PAT验证系统,吸引了来自150个国家1000多个组织的用户,并在2018年获得了20年来ICFEM最具影响力系统奖。

    董教授还获得过IEEE 国际学术会领导奖和新加坡国立大学年青科学家最佳奖,同时还是国际ACM软件工程和方法论,形式化方法,软件工程与创新(美国国家航空航天局)期刊的编辑委员,获邀参与过超过20个国家的特邀学术演讲。

    董教授至今已经成功辅导了26名博士生,其中许多学生已成为全球顶级大学的终身教授。


  • 关于我们

  • 新国大人工智能创新及育成中心(以下简称“中心”)于2017年12月15日由新加坡国立大学与苏州工业园区管委会共同签约成立。中心由新加坡科学院院士、新加坡国立大学计算机学院首席讲座教授黄铭钧(OOI Beng Chin)和新加坡国立大学人工智慧系统研究院副院长、计算机学院副院长黄德钦(NG Teck Khim)携手新加坡国立大学人工智慧系统研究院、计算机学院和工程学院的教授和研究团队共同入驻,致力于推进人工智能在医疗保健、金融科技等领域的创新。中心将与苏州本土企业建立资源共享、优势互补、互惠互利的合作模式,加速人工智能技术成果转化和产业化落地,共同打造园区人工智能可持续发展的生态圈。



Event Tags

Recent Participation

Perhaps you'd be interested in

Question

All Questions

Haven't posted any questions yet, grab a sofa!

Location...(Map Detail)

OrganizersMore

新国大人工智能创新及育成中心

新国大人工智能创新及育成中心

2017年12月15日,新加坡国立大学与苏州工业园区管委会签约,正式宣布在新加坡国立大学苏州研究院(NUSRI)成立新国大人工智能创新及育成中心。中心团队由新国大人工智慧系统研究院院长黄铭钧院士与新国大人工智慧系统研究院副院长黄德钦教授共同领衔,携手人工智慧系统研究院(NUS Smart Systems Institute)、计算机系(NUS School of Computing)、工程系(NUS Faculty of Engineering)以及新国大其他跨学科院系的专家学者共同组成,推进人工智能在医疗保健、金融科技等领域的创新,加速人工智能技术成果转化和产业化落地,帮助项目进入国际市场。 2018年10月,中心分别作为副会长单位及理事单位加入苏州工业园区人工智能产业协会及江苏省人工智能产业技术创新战略联盟,未来将致力于人工智能技术在大数据、健康、金融科技以及区块链领域的应用,帮助企业解决技术难题,共同促进苏州地方企业升级转型。

WeChat Scan

Share to WeChat→