语言

活动

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

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