update

Author: cutelimination

html/students.html

@@ -17,7 +17,6 @@
       <h3>Current Students</h3>
       <h4>Postgraduate</h4>
       <ul>
-        <li>Weiqi Wang (MS from 23)</li>
         <li><a href="https://yuan2li.github.io/">Yuan Li</a> (PhD from 23)</li>
           <ul>
             <li>Publications: <a href="../files/FSE25.pdf">[FSE'25]</a></li>
@@ -75,6 +74,11 @@ <h3>Mentoring</h3>
 
       <hr noShade size=2.5>
       <h3>Former Mentees</h3>
+      <h4>Postgraduate</h4>
+      <ul>
+        <li>Weiqi Wang (MS, 2023-2026). State Grid Corporation of China</li>
+      </ul>
+
       <h4>Intern</h4>
       <ul>
         <li>Ao Sun (2025). UG@WHU -> PhD@PKU</li>
@@ -90,22 +94,9 @@ <h4>Intern</h4>
 
       <h4>Final Year Project</h4>
       <ul>
-        <li><a href="https://stormckey.github.io/">Chenhao Gao</a> (2025). Topic: String constraint solving. MS@CMU</li>
-        <li><a href="https://self.cubicy.icu/">Yaoyang Ye</a> (2025). Topic: Side channel verification. PhD@Purdue</li>
-          <ul>
-            <li>Publications: <a href="../files/FSE25.pdf">[FSE 25]</a></li>
-          </ul>
-        <li>Jiening Siow (2025). Topic: Efficient predicate abstraction. Knowledge Engineering Group, MS@THU</li>
-        <li>Hanyun Jiang (2025). Topic: Machine learning for constraint solving.  MS@ZJU</li>
-        <li>Xutao Zhou (2024). Topic: Testing static analyzers</li>
-        <li>Yitong Li (2024). Topic: Alias analysis</li>
-        <li>Xinyue Cai (2024). Topic: Numerical abstract interpretation</li>
-        <li>Haobai Yin (2024). Topic: Bounded model checking</li>
-        <li>Haowei Cao (2024). Topic: Machine learning for constraint solving</li>
-        <li>Yichi Zhang (2024). Topic: Parallel constraint solving</li>
-        <li>Mingming Luo (2024). Topic: Optimization Modulo Theories solving</li>
-        <li>Hanrui Zuo (2024). Topic: Quantified constraint solving. PhD@ZJU</li>
-        <li>Ruqing Yang (2023). Topic: Type system. TACO Lab, MS@HKUST</li>
+        <li>2025: <a href="https://stormckey.github.io/">Chenhao Gao</a> (MS@CMU), <a href="https://self.cubicy.icu/">Yaoyang Ye</a> (PhD@Purdue), Jiening Siow (Knowledge Engineering Group, MS@THU), Hanyun Jiang (MS@ZJU)</li>
+        <li>2024: Xutao Zhou, Yitong Li, Xinyue Cai, Haobai Yin, Haowei Cao, Yichi Zhang, Mingming Luo, Hanrui Zuo (PhD@ZJU)</li>
+        <li>2023: Ruqing Yang (TACO Lab, MS@HKUST)</li>
       </ul>
 
       <h4>Co-supervised (in at least one research project)</h4>