diff --git a/About b/About
index e4ade92..36cb306 100644
--- a/About
+++ b/About
@@ -36,20 +36,6 @@ access on new development, influencing on the development roadmap.
 
 ## Team
 
-### Alfred
-
-Alfred is a research associate at the University of Cambridge.  He enjoys to write
-code, and also travelling and repairing his recumbent bicycle, and being a
-barista.
-
-Alfred did his PhD in computer science about formal verification of
-imperative code (using a higher-order separation logic and the theorem prover
-Coq).  At the moment he is working on an executable formal model of
-TCP/IP which can act as a test validator.
-
-Alfred co-authored a TLS implementation from the grounds up in OCaml, and
-contributes to the MirageOS project as a core team member.
-
 ### Catherine
 
 Catherine runs an independent software consultancy from Wisconsin, USA.  She
@@ -79,6 +65,20 @@ In the US tech industry, she works on infrastucture problems with distributed sy
 
 Her Erdős number is 4.
 
+### Hannes
+
+Hannes is a research associate at the University of Cambridge.  He enjoys to write
+code, and also travelling and repairing his recumbent bicycle, and being a
+barista.
+
+Hannes did his PhD in computer science about formal verification of
+imperative code (using a higher-order separation logic and the theorem prover
+Coq).  At the moment he is working on an executable formal model of
+TCP/IP which can act as a test validator.
+
+Hannes co-authored a TLS implementation from the grounds up in OCaml, and
+contributes to the MirageOS project as a core team member.
+
 ### Paul
 
 Paul is an independent IT consultant located in Copenhagen.