Skip to content
Snippets Groups Projects
Commit 847aefe4 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update da-rocha-pinto.md

parent 672cda74
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
+ 0
− 1
View file @ 847aefe4
...@@ -7,7 +7,6 @@ email: pmd09@doc.ic.ac.uk ...@@ -7,7 +7,6 @@ email: pmd09@doc.ic.ac.uk
github: pedromdrp github: pedromdrp
alumnus: true alumnus: true
projects: projects:
- concurrency
--- ---
Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at Pedro da Rocha Pinto is a PhD student at the [Department of Computing](http://www.doc.ic.ac.uk) at
Imperial. His research focuses on developing logics for verification of fine-grained concurrent programs. Imperial. His research focuses 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