李旻

李旻现为东南大学集成电路学院研究员，2018年获上海交通大学电子科学与技术专业本科学位，2023年获香港中文大学计算机科学与工程系博士学位。曾任职于华为诺亚方舟实验室担任主任工程师，负责参与国产自研硬件形式化验证工具，服务于华为多款高性能处理器验证，还曾在加州大学洛杉矶分校、高通、字节跳动、OPPO、华为海思等机构担任研究助理或项目负责人，具备丰富的工业界软硬件协同设计和验证经验。主要研究方向涵盖人工智能辅助电子设计自动化（EDA）、面向计算芯片的高效形式化验证、人工智能驱动的新一代硬件形式化验证工具、智能EDA等。近五年在EDA与AI领域顶会发表多篇成果，其主导的电路表征学习DeepGate系列研究获DAC'22最佳论文提名，得到海思、香港政府等多项研究资助，课题组官网为https://formind.netlify.app/，常年招收硕博研究生及大二以上本科生参与科研训练。