|
Zhuolun He is an Assistant Professor in the Department of Computer Science and Technology at Tsinghua University. His research interests are in artificial intelligence and electronic design automation. He studies how large language models infer formal representations of domain knowledge and design intent, enabling downstream computation through algorithms, compilation, and automated reasoning. In particular, his current work targets chip verification, where a central challenge is to ensure that every conclusion is faithful to a specification and justified under explicit assumptions. He has also worked on netlist representation learning, physical design optimization, and efficient physical verification. He has published more than 50 papers in international journals and conferences, and has received three Best Paper Award nominations at ISPD 2024, ICCAD 2024, and ISPD 2025. His survey on large language models for EDA was selected as an Editor's Pick in ACM TODAES.
|
