Skip to content
Snippets Groups Projects
Commit a91ce02d authored by Pedro da Rocha Pinto's avatar Pedro da Rocha Pinto
Browse files

Added github

parent 0e73ffff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_people/da-rocha-pinto.md
+ 1
− 0
View file @ a91ce02d
......@@ -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.
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment