教育经历：

(1) 2018-09 至 2024-09, 浙江大学, 计算机科学与技术, 博士

(2) 2011-09 至 2015-06, 南开大学, 逻辑学, 学士

科研与学术工作经历：

(1) 2024-10 至 2025-03, 华为上海研究院, 信息与通信技术, 高级工程师