diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index a5ddc68534df7d492d9fdfcc82c9c1fbaf7ae6e4..f33e03c3586300db0a7b5075bfd77bd44f4bf7e1 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -7,7 +7,6 @@ email: pmd09@doc.ic.ac.uk
 github: pedromdrp
 projects:
   - concurrency
-  - sl
 ---
 Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at
 Imperial. His research focuses on developing logics for verification of fine-grained concurrent programs.