From 110b8f382fd766d7b09140deace3d222840c985e Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 5 Oct 2017 11:05:18 +0100
Subject: [PATCH] Update da-rocha-pinto.md

---
 _people/da-rocha-pinto.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index a5ddc68..f33e03c 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.
-- 
GitLab