Update students.html

students.html

@@ -84,34 +84,47 @@
     <ol>
 
       <li>Aleksandr Pak (PhD 2024 - 2027), Co-Supervised
-        with <a href="https://ilyasergey.net/">Ilya Sergey</a>, NUS,
-        Rust Made Easier</li>
-      <li>Edwin Singh (PhD 2022 - 2028 (part time)),
-        Co-Supervised
+        with <a href="https://ilyasergey.net/">Ilya Sergey</a> at NUS
+        and <a href="https://fabian.muehlboeck.name/#about">Fabian
+        Muehlboeck</a., Rust Made Easier</li>
+      <li>Edwin Singh (PhD 2022 - 2028 (part time)), Co-Supervised
         with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer
-        Ferreira</a>, VUW, Why Language Designers Do Modules The Way
-        They Do (Grounded Theory Study)</li>
+        Ferreira</a> at VUW
+        and <a href="https://comp.anu.edu.au/people/alwen-tiu/">Alwen
+        Tiu</a>, Why Language Designers Do Modules The Way They Do
+        (Grounded Theory Study)</li>
       <li>David Young (Project as part of their PhD Thesis at KU in
         2021 - ONGOING), Co-Supervised
-        with <a href="https://ilyasergey.net/">Ilya Sergey</a> at NUS,
-        Higher Order Specifications for Program Synthesis</li>
-      <li>Fahimeh Hoseinnia (PhD 2023 - 2026 at VUW),
-        Co-Supervised
+        with <a href="https://ilyasergey.net/">Ilya Sergey</a> at NUS
+        and <a href="https://faculty.sites.iastate.edu/liyili2/">Liyi
+        Li</a> at Iowa State University, Higher Order Specifications
+        for Program Synthesis</li>
+      <li>Fahimeh Hoseinnia (PhD 2023 - 2026 at VUW), Co-Supervised
         with <a href="https://people.wgtn.ac.nz/jennifer.ferreira">Jennifer
-        Ferreira</a>
+        Ferreira</a> at VUW
         and <a href="https://people.wgtn.ac.nz/James.Quilty">James
         Quilty</a> at VUW, Agricultural Pollution Data Marketplace and
-        DAO's</li>
+        DAOs</li>
       <li>Julia Gross (PhD 2023 - 2025), Co-Supervised
         with <a href="https://people.wgtn.ac.nz/ramesh.rayudu">Ramesh
-          Rayudu</a> at VUW, Power Trading and DAO</li>
-      <li>Zara Hassan (PhD 2023 - 2025), Co-Supervised
-        with <a href="https://cecc.anu.edu.au/people/michael-norrish">Michael
+        Rayudu</a> at VUW
+        and <a href="https://people.csiro.au/c/s/sid-chau">Sid
+        Chau</a> at CSIRO, Power Trading and DAO</li>
+      <li>Zara Hassan (PhD 2023 - 2025),
+          Co-Supervised <a href="https://ctreude.ca/">Christoph
+          Treude</a> at SMU
+          and <a href="https://cecc.anu.edu.au/people/michael-norrish">Michael
           Norrish</a>
-        and <a href="https://cecc.anu.edu.au/people/graham-williams">Graham
-          Williams</a>, Reprodicibility Debt in Scientific Software</li>
-      <li>Iko-Ojo Simon (PhD 2023 - 2025), Co-Supervised by Hanna Suominen, Chirath
-        Hettiarachchi, Fatemeh H. Fard (UBC), Algorithmic Debt</li>
+          and <a href="https://cecc.anu.edu.au/people/graham-williams">Graham
+          Williams</a>, Reprodicibility Debt in Scientific
+          Software</li>
+      <li>Iko-Ojo Simon (PhD 2023 - 2025), Co-Supervised
+        with <a href="https://comp.anu.edu.au/people/hanna-suominen/">Hanna
+        Suominen</a>
+        and <a href="https://comp.anu.edu.au/people/chirath-hettiarachchi/">Chirath
+        Hettiarachchi</a>
+        and <a href="https://cmps.ok.ubc.ca/about/contact/fatemeh-hendijani-fard/">Fatemeh
+        H. Fard</a> at UBC, Algorithmic Debt</li>
       <li>Maximillian Kodetzki (PhD 2022 - 2025 at KIT), Co-Supervised
         with Ina Schaefer</li>
       <li>Ziling Ouyang (Honours in 2024), Co-Supervised