update

Author: cutelimination

index.html

@@ -102,9 +102,9 @@ <h3>News</h3>
       </ul>
       <hr noShade size=2.5>
       <h3>Research Interests</h3>
-      I am broadly interested in  programming languages, software engineering, and cybersecurity, focusing on techniques that make software secure, usable, and fast.
+      I am broadly interested in  programming languages, software engineering, and cybersecurity, focusing on techniques that make software secure, usable, and fast. <br> <br>
 
-      <h3>Current Research</h3>
+      Selected projects and research themes (current and former):
       <ul>
           <li>
           Program Analysis and Verification
@@ -134,7 +134,7 @@ <h3>Current Research</h3>
             <li>
           Concurrency analysis:
                 [<a href="./files/SECURITY23LockPick.pdf">USENIX Security'23</a>]
-                [<a href="./files/PLDI21Canary.pdf">PLDI21'b</a>],
+                [<a href="./files/PLDI21Canary.pdf">PLDI21'b</a>]
             </li>
             <li>
           Fuzzing: