姓名：何卓论

职称：助理教授

邮箱：zlhe@tsinghua.edu.cn

个人主页：https://eda.cs.tsinghua.edu.cn/~zlhe/

教育背景

2023年，香港中文大学，计算机科学与工程，博士

2017年，北京大学，计算机科学与技术，学士

工作经历

2026年至今，清华大学，计算机科学与技术系，助理教授

2023—2026年，香港中文大学，计算机科学与工程学系，博士后研究员

研究领域

人工智能与电子设计自动化：大模型驱动的EDA智能体、知识表示与形式化建模、大规模自动推理与定理证明、网表表征学习、物理设计优化、高效物理验证。

研究概况

主要从事人工智能与电子设计自动化交叉领域的方法研究，在大模型驱动的EDA智能体、网表表征学习、物理设计优化及GPU加速物理验证等方面开展了系统研究，当前重点关注大语言模型与形式化建模、自动推理相结合的芯片验证方法。

在IEEE TCAD、ACM TODAES、DAC、ICCAD等国际期刊和会议发表论文50余篇。研究成果获ISPD 2024、ICCAD 2024及ISPD 2025最佳论文奖提名，相关综述入选ACM TODAES编辑推荐文章（Editor’s Pick）。

学术兼职

2025年至今，担任 Integration, the VLSI Journal 副编辑（Associate Editor）。

担任DAC、ICCAD、NeurIPS、CVPR、ECCV等国际会议，以及IEEE TCAD、ACM TODAES等国际期刊审稿人。

奖励与荣誉

ISPD最佳论文奖提名，2025

ICCAD最佳论文奖提名，2024

ISPD最佳论文奖提名，2024

ISPD竞赛第三名，2020

EDAthon冠军，2018

学术成果

完整论文列表请见：

https://eda.cs.tsinghua.edu.cn/~zlhe/publications/