Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
1245 commits behind the upstream repository.
da-rocha-pinto.md 388 B 
firstname: Pedro
lastname: da Rocha Pinto
position: PhD Student
webpage: http://www.doc.ic.ac.uk/~pmd09/
email: pmd09@doc.ic.ac.uk
github: pedromdrp
projects:
  - concurrency

Pedro da Rocha Pinto is a PhD student at the Department of Computing at Imperial. His research focuses on developing logics for verification of fine-grained concurrent programs.