From d30c15c4a111b1e29e78880bebecdee5b6a8da05 Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Wed, 3 Feb 2016 22:48:26 +0000
Subject: [PATCH] Added small biography.

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

diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index c1f52eb..395774a 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -7,4 +7,5 @@ position: PhD Student
 webpage: http://www.doc.ic.ac.uk/~pmd09/
 email: pmd09@doc.ic.ac.uk
 ---
-
+Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at
+Imperial. His research focusses on developing logics for verification of fine-grained concurrent programs.
-- 
GitLab