北航新闻网9月2日电（通讯员 周洁）
2014年计算机科学前沿暑假学校于8月23日正式开课，研究生院李德玉副处长、计算机学院吕卫锋院长出席开课仪式并致辞。
本次暑期学校以软件形式化方法和大数据科学为两个主要专题，共邀请了5位国际知名的专家学者前来讲学。他们是University of Pennsylvania的Scott Weinstein教授、University of Wisconsin-Milwaukee的Jun Zhang、University of Edinburgh的Don Sannella教授、MIT的Yajun Fang博士和Vienna University of Technology的Florian Zuleger博士。
编辑：贾爱平
