Update index.html

Author: sebastian-griego

index.html

@@ -130,8 +130,7 @@ <h1>Sebastian Griego</h1>
     <h2>About</h2>
     <div class="about">
         <p>
-            I enjoy working on projects that bridge pure mathematics with practical applications, particularly in areas involving 
-            algebraic structures, geometric visualization, and mathematical education. I also have significant experience in mathematical biology and disease modeling. I have done research using physics-informed neural networks to model HIV infection dynamics.
+            I enjoy working on projects that bridge pure mathematics with practical applications, particularly in areas involving algebraic structures, geometric visualization, and mathematical education. I also have significant experience in mathematical biology and disease modeling. I have conducted research using physics-informed neural networks to model HIV infection dynamics as a member of the <a href="https://nvaidya.sdsu.edu/DiMoLab.html">SDSU Disease Modeling Lab</a>.
         </p>
         <p>
             Currently, I'm interested in LLM-assisted theorem proving in Lean 4, including both autoformalization and direct proof synthesis from formal statements. My goal is to explore how language models can accelerate mathematical formalization and verification workflows. I spend much of my time working on these types of problems.