From b0a4f45a79145626f6972e0d63749a4c521c8355 Mon Sep 17 00:00:00 2001 From: HuiLZZoe <131964807+HuiLZZoe@users.noreply.github.com> Date: Tue, 2 May 2023 08:57:40 +0800 Subject: [PATCH 1/2] Update index.html --- index.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 7131e01..bc67238 100644 --- a/index.html +++ b/index.html @@ -112,7 +112,8 @@

成员介绍

  • 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.

  • Some of our kindly partners:

    • -

  • Dr. 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.

    • +

  • 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.

    • From d3e3e008b5d01613192ea0a4667be1ec9a165948 Mon Sep 17 00:00:00 2001 From: HuiLZZoe <131964807+HuiLZZoe@users.noreply.github.com> Date: Fri, 19 May 2023 11:08:15 +0800 Subject: [PATCH 2/2] Update index.html --- index.html | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/index.html b/index.html index bc67238..a6fcf27 100644 --- a/index.html +++ b/index.html @@ -104,19 +104,19 @@

    AI4Verification

    成员介绍

    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.

    • - +

  • 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.