 李旻职务：
单位：
电话：
出生年月：
邮箱：min.li@seu.edu.cn
学历：博士
地址：南京市江北新区星火路创智大厦B座
职称：研究员
个人简介 李旻，现amjs澳金沙门研究员、博士生导师，入选国家高层次青年人才计划。2018年获得上海交通大学电子科学与技术专业本科学位，2023年获得香港中文大学（QS排36）计算机科学与工程系博士学位，并于华为诺亚方舟实验室担任主任工程师，负责参与国产自研硬件形式化验证工具，服务于华为多款高性能处理器验证。主要研究领域为人工智能辅助电子设计自动化（EDA）、面向计算芯片的高效形式化验证、人工智能驱动的新一代硬件形式化验证工具等。近五年发表EDA与AI领域顶会，电路表征学习DeepGate系列研究获得了DAC'22最佳论文提名和来自海思和港府多项研究资助。此外，李旻曾在加州大学洛杉矶分校、高通、字节跳动和OPPO担任研究助理，拥有丰富的工业界软硬件协同设计和验证相关经验。课题组网站：https://formind.netlify.app/
教育经历 2018 - 2023: 香港中文大学 计算机科学与工程 博士 2014 - 2018: 上海交通大学 电子科学与技术 本科 工作经历 2025.07 - 至今：东南大学 amjs澳金沙门 2023.05 - 2025.06: 华为诺亚方舟实验室 主任工程师 2022.08 - 2023.03: 高通机器学习团队 研究助理 2022.01 - 2022.06: 字节跳动智能创作和计算机视觉团队 研究助理 2021.07 - 2021.09: Oppo数据研究院 研究助理 2020.09 - 2021.05: 华为海思EDA架构部 项目主要负责人 讲授课程 教学研究 出版物 研究领域或方向 硬件形式化验证，智能EDA 研究项目 研究成果 学术兼职 团队介绍 招生情况 课题组网站：https://formind.netlify.app/ 本课题组常年招收硕士及博士研究生，欢迎具有集成电路、计算机科学、数学、人工智能等相关背景的同学联系加入；同时也欢迎大二及以上本科生参与课题组的科研训练与毕业设计工作。 毕业生介绍 |
