题目：Technological Gateway to the

Era of Robots

时间：2014年12月30日上午10:30

地点：西区科技实验西楼117会议室

题目：Decoupled Execution Paradigm for

Data-Intensive High Performance Computing

时间：2014年12月25日下午16:00

地点：西区电三楼632学术报告厅

题目：CertiKOS:An Extensible Architecture

for Building Certified OS Kernels

时间：2014年12月17日下午15:00

地点：西区电三楼632学术报告厅