change discriptions

index.html

@@ -104,20 +104,20 @@ <h1>AI4Verification</h1>
   <div class="w3-container w3-light-grey w3-padding-32" id="news">
    <h2>成员介绍</h2>
    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.
-      <p><li> Dr. Mingxuan Yuan | <a style="color: #447ec9" href="https://dblp.org/pid/74/2356.html">DBLP</a>：PhD on data mining, data management, machine learning, etc. Now he is the project manager of AI4EDA in Noah's Ark Lab, Huawei. </li></p>
-      <p><li> Dr. Hui-Ling Zhen | <a style="color: #447ec9" href="https://scholar.google.com.hk/citations?user=gq29DtwAAAAJ&hl=zh-CN">google scholar</a>: 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.</li></p>
-      <p><li> Dr. Wenyi Xiao | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=4sgCmJIAAAAJ&hl=en">google scholar</a>: PhD on data mining, recommendation system. Now she is working on adaptive LEC algorithm, and graph embedding on EDA problems. </li></p>
-      <p><li> Dr. Lihao Yin | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=bS9oH_oAAAAJ&hl=en">google scholar</a>: 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. </li></p>
-      <p><li> Wanqian Luo | <a style="color: #447ec9" href="https://github.com/">Github</a>: 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. </li></p>
-      <p><li> Junhua Huang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=pFOIOJ0AAAAJ&hl=zh-CN">google scholar</a>: Master in combinatorial optimization. Now she is working on efficient reverse simulation in SAT sweeping, and related application in logic synthesis and LEC. </li></p>
-      <p><li> Tsz Ho Chan | <a style="color: #447ec9" href="https://www.linkedin.com/in/tsz-ho-chan-320015233/?originalSubdomain=hk">Linkedin</a>: Master in Computer Science, HKUST. Now he is working on graph model and representation learning, and their applications in SAT solving and equivalence checking. </li></p>
-
+      <p><li> Dr. Mingxuan Yuan | <a style="color: #447ec9" href="https://dblp.org/pid/74/2356.html">DBLP</a>, 
+	      Dr. Hui-Ling Zhen | <a style="color: #447ec9" href="https://scholar.google.com.hk/citations?user=gq29DtwAAAAJ&hl=zh-CN">google scholar</a>, 
+	      Dr. Wenyi Xiao | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=4sgCmJIAAAAJ&hl=en">google scholar</a>, 
+	      Dr. Lihao Yin | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=bS9oH_oAAAAJ&hl=en">google scholar</a>, 
+	      Wanqian Luo | <a style="color: #447ec9" href="https://github.com/">Github</a>,
+	      Junhua Huang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=pFOIOJ0AAAAJ&hl=zh-CN">google scholar</a>. </li></p>
+
  <h4><li>Some of our kindly partners:</li></h4>
-      <p><li> Prof. Jianye Hao | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=FCJVUYgAAAAJ&hl=zh-CN">google scholar</a>: PhD on reinforcement learning and multi-agent system. Now he is the director of decision and reasoning lab of Noah's Ark Lab, Huawei. </li></p>
-      <p><li> Dr. Jia Zeng | <a style="color: #447ec9" href="https://dblp.org/pid/31/435.html">DBLP</a>: 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. </li></p>
-      <p><li> Dr. Yu Huang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=acPTiEQAAAAJ&hl=en">google scholar</a>: PhD on DFT, and more than 20 years experience on industrial DFT, such as diagnosis, compression, compaction, scan chain test, etc. </li></p>
-      <p><li> Dr. Naixing Wang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=c_R21V8AAAAJ&hl=en">google scholar</a>: PhD on DFT. Several years experience on industrial DFT, such as ATPG, TPI, etc. </li></p>
-      <p><li> Yingxue Zhang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=4bsYpogAAAAJ&hl=en">google scholar</a>: Years of experience on graph networks and representation learning.  </li></p>
+      <p><li> Prof. Jianye Hao | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=FCJVUYgAAAAJ&hl=zh-CN">google scholar</a>, 
+	      Dr. Jia Zeng | <a style="color: #447ec9" href="https://dblp.org/pid/31/435.html">DBLP</a>, 
+	      Dr. Yu Huang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=acPTiEQAAAAJ&hl=en">google scholar</a>, 
+	      Dr. Naixing Wang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=c_R21V8AAAAJ&hl=en">google scholar</a>, 
+	      Yingxue Zhang | <a style="color: #447ec9" href="https://scholar.google.com/citations?user=4bsYpogAAAAJ&hl=en">google scholar</a>. </li></p>
+
   </div>