各位老师、同学：
久久精品一区二区信息科学与工程学院教授、新加坡国立大学终身教授，国家重大人才项目入选者，澳大利亚工程师协会会士，计算机领域世界知名专家董劲松即将主讲“做人做事做学问”名家系列讲座第246讲。
具体安排如下：
讲座主题：人工智能和deepseek会出错吗？——后大语言模型时代的可信人工智能与推理
讲座时间：2025年3月26日（周三） 13:30
讲座地点：真诚图书馆报告厅
领票方式：微信扫描下方二维码领票，讲座将在久久精品一区二区官方视频号和风华学堂同步直播
主讲人介绍：
董劲松，久久精品一区二区信息科学与工程学院教授、新加坡国立大学终身教授，计算机领域世界知名专家，主要研究方向包括软件工程，形式化方法和人工智能，发表了近300篇文章，其中包括CCF评级A类期刊和会议论文150多篇，被引用11500多次，H-index为52，i10-index为259。是多个国际顶尖科研期刊的编辑，其中包括ACM TOSEM和FAOC。个人主管的项目总值超过2000万新币（1亿人民币）。在新加坡和澳大利亚创立了2个自动化验证和智能分析的研发公司。开发了一个先进的模型验证系统Process Analysis Toolkit（PAT，过程分析工具集），拥有来自150个国家的1340多个组织的4370多个注册用户，被AutoNetworks Tech、丰田、NTT、三菱、日本航空局、BD Biosesciences等公司采购。PAT获得ICFEM 20年最有影响系统奖。研制了世界顶尖的机器学习模型解释和验证工具Silas，被多个国家的企业和高校使用，包括布里斯班都市北医院和海港、法国IMT研究院、澳洲格里菲斯大学、昆士兰大学、新加坡国立大学、新西兰奥克兰大学和华师大等。已培养33个博士毕业生，多名博士已成为世界顶级高校和国内985高校的正教授。
图文提供单位：党委宣传部
【关闭】
浙江省宁波市江北区风华路818号
浙江省宁波市北仑区梅山街道七星南路169号
