语言

首页

活动

研讨会
   在学期中，我们会在每周四晚上进行研讨会，如果您对我们的工作感兴趣或是愿意作报告，详情请见研讨会链接

暑期课程
   在暑假中，我们会举行暑期实践课程，内容包括可信软件的前沿理论和技术等