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

Update da-rocha-pinto.md

parent 1664c047
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 @ 110b8f38
......@@ -7,7 +7,6 @@ email: pmd09@doc.ic.ac.uk
github: pedromdrp
projects:
- concurrency
- sl
---
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.
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