updates

Author: nguyenthanhvuh

index.html

@@ -61,7 +61,9 @@ <h2 id="news">News</h2>
     <div class="myborder">
       <ul>
 
-        <li>1/2024: <b>FSE'24</b> research paper on new optimizations developed for the NeuralSAT DNN verfication tool (👏 Hai, first research paper as first author)</li>
+        <li>2/2024: <b>FSE'24</b> research paper on new optimizations developed for the NeuralSAT DNN verfication tool (👏 Hai, first research paper as first author)</li>
+        <li>1/2024: NeuralSAT received the <b>New Commer Award</b> at VNN-COMP'23. It also won the <code>tllverifybench</code> category (👏 Hai and Linhan)</li>
+
         <li>1/2024: <b>Huong</b> joined as a undergraduate researcher</li>
         <li>8/2023: <a href="https://github.com/dynaroars/neuralsat">NeuralSAT</a> <b>ranked 4th</b> overall in the annual Verifying Neural Network competition <a href="https://sites.google.com/view/vnn2023">VNN-COMP'23</a> (our first participation, 👏 Hai and Linhan)</li>
         <li>8/2023: <b>FSE SRC</b> (Student Research Competition) paper on dynamic complexity analysis (👏 Didier)</li>
@@ -162,14 +164,15 @@ <h3 id="recruit"> 🥷 Student Recruitment</h3>
       <details>
         <summary>Interested?</summary>
         <div class="myborder">
-          <ul>        
+          <ul>
             <li>Read <em>"Should you contact a US professor? How to do so correctly?"</em> from the <a href="https://nguyenthanhvuh.github.io/phd-cs-us/demystify.pdf">CS PhD demystify guide</a>.
             <li><a href="#contact">Email us</a> the following:
               <ul>
                 <li>Why are you interested in working with us? <strong>Be as specific as possible</strong>, e.g., you have read our papers or if you have worked on something related, discuss them.
                   we <strong>will not</strong> read or reply to your email if it is generic (i.e., could be sent to multiple professors)</li>
                 <li>Try the following programming assignments <a href="https://github.com/nguyenthanhvuh/class-verification/wiki/PA1">PA1</a> and <a href="https://github.com/nguyenthanhvuh/class-verification/wiki/PA2">PA2</a>. Email all solutions in a zip file. This gives you a sense on what background you would need and allows us to evaluate your skills.</li>
                 <li>Put <strong>"Dynaroars Lab Applicant"</strong> in the subject line of the email</li>
+                <li>Do not attach your Transcripts, GRE, or any other standard scores
                 <li>Send your email using plain text (no colors or fancy fonts)
               </ul>
             <li><strong>Note that we might not be able to respond to all mails received, especially those that might not fit our lab</strong>. However, we still encourage you to apply to GMU and feel free to put us in your SOP.</li>