bat365中文官方网站

更多>>>>

公告通知

更多>>>>

学术活动

更多>>>>
  • 13 8月
    浙江大学直博生胡霁林学术报告会
    题目：ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile
    时间：2024年8月13日（周二）10:40
    地点：高新校区图书教育中心C105会议室
  • 13 8月
    浙江大学博士生赵健宏学术报告会
    题目：K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
    时间：2024年8月13日（周二）10:20
    地点：高新校区图书教育中心C105会议室

学生工作

更多>>>>