Merge branch 'main' of github.com:dynaroars/dynaroars.github.io

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>
@@ -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>