12月3日上午，应西北师范大学计算机科学与工程学院以及CCF西北师范大学学生分会的邀请，CCF会士、CCF软件工程专业委员会主任、北京大学金芝教授在我校做了题为《Environment Modeling based Requirement Engineering for Cyber-Physical Systems》的学术报告。报告会由计算机科学与工程学院院长党小超教授主持，计算机科学与工程学院部分教师及研究生、以及来自兰州交通大学、兰州理工大学的师生共100余人参加了报告会。

报告会中，金芝教授首先从基于环境建模的需求工程方法切入，阐述了通过构建环境元素模型，提出了用于推导信息物理融合系统（CPS）功能和非功能需求的方法，并给出了支持工具建立和系统验证的规范。报告会后，金芝教授与参会师生就有关问题进行了互动交流，分享了研究项目时需要考虑到的问题和一些经历感悟，为研究生在科研道路上提供了宝贵的意见和指导。

12月3日下午，金芝教授又和计算机科学与工程学院部分教师座谈，交流讨论了软件工程学科建设和人才培养方面的问题。