update

Author: cutelimination

html/students.html

@@ -24,6 +24,9 @@ <h4>Postgraduate</h4>
             <li>Awards: National Scholarship</li>
           </ul>
         <li>Hanrui Zuo (PhD from 24)</li>
+           <ul>
+             <li>Awards: 3rd in the single-query tracks of OF_ABV, QF_AUFBV, and QF_BVFP at SMT-COMP 2025.</li>
+           </ul>
         <li>Zinan Gu (MS from 24)</li>
         <li>Guowei Tian (MS from 24)</li>
         <li>Hanyun Jiang (MS from 25)</li>