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

Fix spelling error

parent b9113e09
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
− 1
View file @ 8cb96d7c
......@@ -9,4 +9,4 @@ projects:
- concurrency
---
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.
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