From 2e8ab49dccfc5cadd6a4e92c1f56ea120410edba Mon Sep 17 00:00:00 2001
From: ThanhVu Nguyen <nguyenthanhvuh@gmail.com>
Date: Mon, 22 Apr 2024 19:52:14 -0400
Subject: [PATCH 1/2] updates

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index cf4f135..3364a29 100644
--- a/index.html
+++ b/index.html
@@ -22,7 +22,7 @@
         <a href="#software">Software</a><br>
         <a href="pubs.html">Publications</a><br>
         <a href="#miscs">Miscs</a><br>                
-        <a href="#acknowledgement">Thanks!</a><br>
+       <a href="#acknowledgement">Thanks!</a><br>
         <a href="#contact">Contact</a>
       </div>
     </div>

From 14aae0f20245c96a0eccd08f4e2fa2a98e04bf6b Mon Sep 17 00:00:00 2001
From: ThanhVu Nguyen <nguyenthanhvuh@gmail.com>
Date: Mon, 22 Apr 2024 19:52:58 -0400
Subject: [PATCH 2/2] updates

---
 index.html | 22 ++++------------------
 1 file changed, 4 insertions(+), 18 deletions(-)

diff --git a/index.html b/index.html
index 6c49c4f..5cee2e3 100644
--- a/index.html
+++ b/index.html
@@ -130,8 +130,7 @@ <h2 id="news">News</h2>
       </div>
     </details>
     
-    <hr>
-    
+
     <h2 id="people">People</h2>
     
     <p><a href="https://photos.app.goo.gl/LFtbqQUuznq9eiL7A">Lab activities/photos</a></p>
@@ -185,9 +184,7 @@ <h3 id="recruit"> 🥷 Student Recruitment</h3>
       </details>
     </blockquote> -->
     
-    <hr>
-    
-    
+
     <h2 id="awards">Recent Awards</h2>
     <div class="myborder">    
       <ul>
@@ -214,9 +211,6 @@ <h3 id="press">Press Release</h3>
       </ol>      
     </div>
     
-    <hr>
-
-    
     <h2 id="research">Research</h2>
     
     <p>Software Engineering; Formal Methods; Programming Languages; Automated Reasoning; Program Analysis; Program Verification; Dynamic and Static Analysis; SMT/SAT Solving</p>
@@ -280,7 +274,6 @@ <h3 id="software"><a href="https://github.com/dynaroars">Software</a></h3>
     
     <h2><a href="pubs.html">Publications</a></h2>
     
-    <hr>
     <h2 id="miscs">Miscs</h2>
     <div class="myborder">
       <ol>
@@ -290,12 +283,6 @@ <h2 id="miscs">Miscs</h2>
       </ol>
     </div>
 
-    
-    
-    
-    <hr>
-    
-    
     <h2 id="teaching">Teaching</h2>
 
     <div class="myborder">
@@ -334,11 +321,10 @@ <h2 id="teaching">Teaching</h2>
       </div>
     </details>
     
-    <hr>    
-    
+
     <h2 id="acknowledgement">Acknowledgement</h2>
     Our work has been generously supported by NSF, Army Research Office, Amazon, Facebook, UNL, and GMU. <b>Thank you</b>! 
-    <hr>
+
     
     <h2 id="contact">Contact</h2>
     <table>