diff --git a/_people/da-rocha-pinto.md b/_people/da-rocha-pinto.md
index 395774afd8535f038f89a04db5fc013a58df5460..e5e4851c5a6933154d591ce16459e5ac5c94a444 100644
--- a/_people/da-rocha-pinto.md
+++ b/_people/da-rocha-pinto.md
@@ -6,6 +6,7 @@ image: /images/pedro.jpg
 position: PhD Student
 webpage: http://www.doc.ic.ac.uk/~pmd09/
 email: pmd09@doc.ic.ac.uk
+github: pedromdrp
 ---
 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.