From 04b6301f1be415d55983d0b5929c6d8e9c683c50 Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pedro.da-rocha-pinto09@imperial.ac.uk>
Date: Thu, 21 Jun 2018 23:37:18 +0100
Subject: [PATCH] Update da-rocha-pinto.md

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

diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index ca37f6d..7e77ec6 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -10,5 +10,4 @@ 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](https://www.enki.com/) a London company developing on-the-job learning apps for software developers.
-
+He is currently working for [Collage.com, Inc.](https://www.collage.com/) a Michigan-based photo products e-commerce company.
-- 
GitLab