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
100 commits behind the upstream repository.
da-rocha-pinto.md 598 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
alumnus: true

Pedro was a PhD student and a Post Doc in the group, working on developing logics for verification of fine-grained concurrent programs.

Pedro defended his PhD thesis, Reasoning with Time and Data Abstractions in January 2017. He is currently working for Collage.com, Inc. a Michigan-based photo products e-commerce company.