2020年12月28日，中国科学院大学博士钻研生开题汇报会在学院行政办公楼324会议室进行。西南科技大学硕士钻研生导师陈世平、乐山师范学院有关学科专家金澎教授和刘才铭教授、四川省博士后创新实际基地在站博士后和学院督导处、教务处有关人员参与了这次会议。

刘忠教授主持开题汇报并担任开题汇报查核幼组组长。依照中国科学院大学博士生开题汇报的要求，开题汇报查核幼组组长颁发了开题汇报的议程,介绍了查核幼组的专家组成，并宣读了中国科学院成都推算机利用钻研所钻研生部《2019级钻研生开题汇报通知》？獠扇∠殖』惚ā⒉楹擞鬃樘嵛省⒆移婪值姆绞浇。

中国科学院大学博士钻研生葛昕钰汇报了“混成系统安全性验证算法钻延妆的有关工作；斐上低潮豢矸豪糜谏缁嵘牡母鞲隽煊，与Z6尊龙集团官方网站升级性命、财富息息有关，其安全性、靠得住性的验证就显得极度沉要。该课题即是对混成系统安全性验证的算法钻研，拥有理论意思和现实意思。

查核幼组专家别离从课题布景、钻研步骤等方面提出问题，葛昕钰同学针对专家提出的问题进行回覆，查核幼组对该钻研方向赐与了注定，以为该钻研拥有现实意思与科学价值，现实可行，赞成查核通过？饣惚ú楹耸迪种，与会专家学者对混成系统与符号推算有关热点进行了探求互换。

本次开题汇报会是学院进行的高档次学术、教育和科研系列活动之一，旨在深入学术互换、激活科研思想、深入资源整合、实现多元合作，推进学院高质量发展，以推动我院优质院校建设和“双高”建设。

教务处 供稿（文：李扶昆 图/编纂：吴鹰）