From 23641646a71508ef70e39534aa301b5ea993316f Mon Sep 17 00:00:00 2001
From: Shale XIONG <>
Date: Tue, 23 Jan 2018 11:14:05 +0000
Subject: [PATCH] fix

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

diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index 5ee57ec..ca37f6d 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -10,5 +10,5 @@ alumnus: true
 Pedro was a PhD student and a Post Doc in the group, working on developing logics for verification of fine-grained concurrent programs. 
 
 Pedro defended his PhD thesis, [Reasoning with Time and Data Abstractions](https://psvg.doc.ic.ac.uk/publications/daRochaPinto2017Reasoning.html) in January 2017.
-He is currently working for [Enki](enki.com) a London company developing on-the-job learning apps for software developers.
+He is currently working for [Enki](https://www.enki.com/) a London company developing on-the-job learning apps for software developers.
 
-- 
GitLab