CCF@U第1089场:CCF形式化方法专委走进新疆大学

2024-06-07

2024531日下午,由CCF主办,CCF形式化方法专业委员会、新疆大学软件学院承办的新疆大学百年校庆系列活动暨CCF形式化方法专委走进新疆大学在新疆大学软件学院二楼报告厅举行。会议邀请了国防科技大学董威教授、西北工业大学董云卫教授、华东师范大学郭建副教授、西南大学刘志明教授、中国科学院软件研究所吴志林研究员做特邀报告,活动吸引了新疆大学软件学院部分师生70余人参加。活动由新疆大学软件学院刘锦副院长主持。

活动伊始,新疆大学软件学院田生伟书记发表致辞,对各位专家学者的到来表示热烈的欢迎和衷心的感谢。接下来,CCF形式化方法专委会董威副主任发表致辞,对新疆大学软件学院对本次活动的支持表达谢意,希望此次活动能够促进新疆大学软件学院师生对形式化方法的了解,促进形式化方法专委与新疆大学软件学院的进一步交流合作。

随后,董威教授做《人机物融合计算技术及应用》报告,对人机物融合的内涵、外延、研究现状、与未来研究方向展望进行了系统性的阐述和介绍。

董云卫教授做《智能软件工程理论概述》报告,对智能软件工程的历史、现状、和挑战进行了分析总结。

郭建副教授做《基于PC-ABAC模型的Linux 安全文件系统》报告,对Linux操作系统中基于PC-ABAC模型的文件访问控制机制的设计与实现进行了介绍。

刘志明教授做《逻辑思维与计算思维并兼谈机器智能的能力》报告,对从计算机科学诞生以来逻辑思维与计算思维的联系进行了深入阐述。

吴志林研究员做《计算机软硬件基础设施的形式化验证》报告,对形式验证技术在芯片设计、操作系统等方面的应用进行了总结回顾,并对未来进行了展望。

活动期间,在场的新疆大学软件学院学生踊跃提问,积极交流互动,活动取得圆满成功。