diff --git a/_people/d-osualdo.md b/_people/d-osualdo.md
index 0001a74f55b20b981cc65ff7fe3fb984d532738d..0a6ca554f0624a6c04b0a8c5964c364907932196 100644
--- a/_people/d-osualdo.md
+++ b/_people/d-osualdo.md
@@ -8,7 +8,6 @@ github: bordaigorl
 alumnus: true
 projects:
   - concurrency
-redirect_from: /people/dosualdo.html
 ---
 
 Emanuele D'Osualdo was a Marie-Curie Fellow with the group. In 2020 he joined the [Max Planck Institute for Software Systems (MPI-SWS)](https://www.mpi-sws.org/research-areas/programming-languages-and-verification/), Germany, to work on the verification of concurrent programs and the [IRIS program logic](https://iris-project.org/).