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

Added small biography.

parent 2f5a28e9
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
+ 2
− 1
View file @ d30c15c4
...@@ -7,4 +7,5 @@ position: PhD Student ...@@ -7,4 +7,5 @@ position: PhD Student
webpage: http://www.doc.ic.ac.uk/~pmd09/ webpage: http://www.doc.ic.ac.uk/~pmd09/
email: pmd09@doc.ic.ac.uk 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.
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