From e173659a7eb39691a1567028b2325f8464b0760e Mon Sep 17 00:00:00 2001
From: ibnyusuf <32095361+ibnyusuf@users.noreply.github.com>
Date: Thu, 2 May 2024 22:49:41 +0100
Subject: [PATCH] Unfortunately I am now a former member :(

---
 team.html | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/team.html b/team.html
index 13f7888..6c0770c 100644
--- a/team.html
+++ b/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>