updates

Author: ThanhVu Nguyen

index.html

@@ -61,7 +61,8 @@ <h1>
     <h2 id="news">News</h2>
     <div class="myborder">
       <ul>
-        <li>2/2026: <a href="./bibtex"><strong>CVPR'26</strong></a> research paper on verifying AI-based computer vision systems received <strong>CVPR Highlight</strong> (👏 Hai)</li>
+        <li>5/2026: Hai received the <strong>Oustanding PhD Student Award</strong> from GMU CS</li>.
+        <li>4/2026: <a href="./bibtex"><strong>CVPR'26</strong></a> research paper on verifying AI-based computer vision systems received <strong>CVPR Highlight</strong> (👏 Hai)</li>
         <li>4/2026: Serving as an organizer and program (papers) chair of <a href="https://vnn-comp.github.io/">VNN-COMP'26</a>, the annual competition on verifying neural networks. Consider submitting your NNV tools and related papers.</li>
         <li>4/2026: 🎓 <a href="#people"><strong>Didier</strong></a> defended his dissertation on complexity analysis (second PhD alumni of the group!). Plenty of pictures from the defense from the <a href="https://photos.roars.dev">lab photos</a>.</li>
         <li>4/2026: <strong>Amazon Research Award</strong> (2nd ARA Award) for Verifiable AI and ML-assisted Mathematical Reasoning</li>
@@ -223,6 +224,7 @@ <h2 id="awards">Awards</h2>
     <div class="myborder">
       <p><strong>Lab's</strong></p>
       <ul>
+        <li><strong>Outstanding CS PhD Student Award</strong> 2026 (Hai@GMU)</li>
         <li><strong>Research Highlight</strong> at <strong>CVPR'26</strong></li>
         <li><strong>Best Paper Award</strong> at <strong>SSBSE'25</strong></li>
         <li><strong>Research Spotlight</strong> at <strong>NeurIPS'25</strong></li>