Unfortunately I am now a former member :(

team.html

@@ -59,14 +59,6 @@ <h2>Michael Rawson</h2>
 </p>
 </li>
 
-<li class="bio">
-<h2>Ahmed Bhayat</h2>
-<img alt="Ahmed Bhayat" src="/img/abhayat.jpg">
-<p>
-{{ bhayat }} (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He currently holds a postdoctoral position on the <a href="https://scorch-project.github.io/about/">ScorCH</a> project. His interests include induction in saturation, program verification, and higher-order reasoning.
-</p>
-</li>
-
 <li class="bio">
 <h2>Johannes Schoisswohl</h2>
 <img alt="Johannes Schoisswohl" src="/img/joe.jpg">
@@ -142,5 +134,13 @@ <h2>Bernhard Gleiss</h2>
   </p>
 </li>
 
+<li class="bio">
+<h2>Ahmed Bhayat</h2>
+<img alt="Ahmed Bhayat" src="/img/abhayat.jpg">
+<p>
+{{ bhayat }} (University of Manchester) completed a PhD on the topic of automated higher-order reasoning supervised by Andrei and Giles. He subsequently held a postdoctoral position on the <a href="https://scorch-project.github.io/about/">ScorCH</a> project. His interests include induction in saturation, program verification, and higher-order reasoning.
+</p>
+</li>
+
 </ul> 
 </div>