update summit proofcraft presenter (#404)

Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · Oct 1, 2024 · c2fd8b2 · c2fd8b2
1 parent c5af3b7
commit c2fd8b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.