迟萌 迟萌 ，男，浙江大学先进技术研究院讲师，学科方向为计算机科学与技术。研究方向 · 智能化软件开发方法 · 大数据管理与挖掘 · 软件形式化验证 主要贡献 主持或作为技术骨干参与了国家基础科研重大与重点项目、核高基重大专项课题的研究工作。近年来，已发表多篇SCI学术论文，申请多项发明专利。