成员介绍
All of us are working on SAT-related algorithms in EDA, such as Automatic Test Pattern Generation (ATPG), Logic Equivalence Checking (LEC), Model Checking (MC). We all focus on both modeling and solving in practice.
-
Dr. Mingxuan Yuan | DBLP：PhD on data mining, data management, machine learning, etc. Now he is the project manager of AI4EDA in Noah's Ark Lab, Huawei.
-
Dr. Hui-Ling Zhen | google scholar: PhD on Numerical PDE, large scale optimization, and large scale constraint optimization. Now she is working on incremental SAT solving, ATPG, approximation in BMC, ATPG for LEC, etc.
-
Dr. Wenyi Xiao | google scholar: PhD on data mining, recommendation system. Now she is working on adaptive LEC algorithm, and graph embedding on EDA problems.
-
Dr. Lihao Yin | google scholar: PhD on Applied mathematics and statistics. Now he is working on incremental MC algorithms, property grouping-based verification, latch correspondence, fix-point algorithm in PDR and word-level verification, etc.
-
Wanqian Luo | Github: luowanqian Master in CS. Now he is working on circuit SAT, parallel SAT solving, bandit for clause sharing, incremental LEC,adaptive modeling in LEC, etc.
-
Junhua Huang | google scholar: Master in combinatorial optimization. Now she is working on efficient reverse simulation in SAT sweeping, and related application in logic synthesis and LEC.
-
Tsz Ho Chan | Linkedin: Master in Computer Science, HKUST. Now he is working on graph model and representation learning, and their applications in SAT solving and equivalence checking.
-
+
Dr. Mingxuan Yuan | DBLP,
+ Dr. Hui-Ling Zhen | google scholar,
+ Dr. Wenyi Xiao | google scholar,
+ Dr. Lihao Yin | google scholar,
+ Wanqian Luo | Github,
+ Junhua Huang | google scholar.
+
Some of our kindly partners:
-
Prof. Jianye Hao | google scholar: PhD on reinforcement learning and multi-agent system. Now he is the director of decision and reasoning lab of Noah's Ark Lab, Huawei.
-
Dr. Jia Zeng | DBLP: PhD on machine learning. He also has industrial experience on operation research and supply chain management. Now he is a project manager in Noah's Ark Lab, Huawei.
-
Dr. Yu Huang | google scholar: PhD on DFT, and more than 20 years experience on industrial DFT, such as diagnosis, compression, compaction, scan chain test, etc.
-
Dr. Naixing Wang | google scholar: PhD on DFT. Several years experience on industrial DFT, such as ATPG, TPI, etc.
-
Yingxue Zhang | google scholar: Years of experience on graph networks and representation learning.
+
Prof. Jianye Hao | google scholar,
+ Dr. Jia Zeng | DBLP,
+ Dr. Yu Huang | google scholar,
+ Dr. Naixing Wang | google scholar,
+ Yingxue Zhang | google scholar.
+