update navigation and content

rodrigo7491 · rodrigo7491 · commit 1d6537e74711 · 2026-04-08T16:23:54.000+02:00
diff --git a/_data/navigation.yml b/_data/navigation.yml
@@ -9,7 +9,8 @@
 
 main:
   - title: "About"
-    url: /about/
+    url: /
+    #url: /about/
 
   - title: "Publications"
     url: /publications/
diff --git a/_pages/cv.md b/_pages/cv.md
@@ -9,6 +9,6 @@ redirect_from:
 
 You can see my CV in the following file: [cv_rodrigo_otoni.pdf] 
 
-(last update on Jan. 2026)
+(last update on Apr. 2026)
 
 [cv_rodrigo_otoni.pdf]: https://rodrigo7491.github.io/files/cv_rodrigo_otoni.pdf
diff --git a/_pages/team.md b/_pages/team.md
@@ -8,5 +8,7 @@ redirect_from:
 ### Current PhD Students
 
 - [Andy Tatman]
+    - Topic: Formal Verification of Distributed Systems
+    - Start date: 01/04/2026
 
 [Andy Tatman]: https://www.rug.nl/staff/a.s.tatman
diff --git a/files/cv_rodrigo_otoni.pdf b/files/cv_rodrigo_otoni.pdf
