应科技处、计算机与通信工程学院邀请，北京大学信息科学技术学院王捍贫教授将于4月14日来我校做学术报告，欢迎广大师生参加。

报告题目：软件工程中的模型验证方法

报告摘要： 软件定义网络SDN是目前的热点技术，主要阐述SDN的主要内容，SDN案例，探讨SDN能否成为解决当前网络问题的利器？SDN是体系结构技术，还是实现技术？等

报 告 人：王捍贫 教授

报告时间：2014年4月14日下午14:30

报告地点：科学校区 计算机学院213 会议室

                                                                科技处

                                                         计算机与通信工程学院

                                                             2014年4月13日

王捍贫教授简介：

王捍贫，男，博士，教授，博士生导师，北京大学软件所副所长、中国人工智能学会离散数学专业委员会副主任委员、《软件学报》责任编委。研究方向为软件理论、计算逻辑、算法分析和计算复杂性，主持973子项课题、863项目课题、国家自然科学基金等7项。2011年获教育部高等学校科学技术奖励自然科学一等奖1项。