个人简介

• 魏卓然，硕士生一年级，上海交通大学并行与分布式系统研究所。在王肇国副教授的指导下，当前主要研究方向为形式化验证在数据库领域的应用。

学术经历

• 2017.09 - 2021.06，上海交通大学软件学院，本科生
• 2022.09 - 至今，上海交通大学软件学院，硕士生，导师：王肇国

研究方向

形式化验证在数据库领域的应用。

助教工作

2023.2 - 2023.6 上海交通大学 软件学院 云操作系统设计与实践（本科生课程，SE3356）