update team page

Author: rodrigo7491

_pages/team.md

@@ -9,6 +9,6 @@ redirect_from:
 
 - [Andy Tatman]
     - Topic: Formal Verification of Distributed Systems
-    - Start date: 01/04/2026
+    - Start date: 1st Apr. 2026
 
 [Andy Tatman]: https://www.rug.nl/staff/a.s.tatman