diff --git a/_includes/abstracts/2024/sel4-verification.html b/_includes/abstracts/2024/sel4-verification.html
index a21f8665..10c78436 100644
--- a/_includes/abstracts/2024/sel4-verification.html
+++ b/_includes/abstracts/2024/sel4-verification.html
@@ -10,7 +10,7 @@ <h4 class="summit-abstract-title">
     Talk
 </p>
 <p class="summit-abstract-author">
-    Presented by June Andronick, Rafal Kolanski, Gerwin Klein, Corey Lewis, Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
+    Presented by Michael McInerney, <span class="summit-abstract-affiliation">Proofcraft</span>
 </p>
 <p>
     In this talk we will give an overview of Proofcraft's recent milestones, as well as ongoing and future plans for the formal verification of seL4 to support more platforms, architectures, configurations, and features.