Skip to content
Snippets Groups Projects
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.