计算机科学与技术学院

新闻

公告通知

学术活动

20 9月

 美国华盛顿大学西雅图分校高翔宇博士后学术...

题目：Solver-Aided Compilers for Programmable Networks Devices

时间： 2024年9月20日（周五）10:30

地点：腾讯会议（593-130-060）
13 8月

 浙江大学直博生胡霁林学术报告会

题目：ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile

时间：2024年8月13日（周二）10:40

地点：高新校区图书教育中心C105会议室

学生工作