---
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]({{site.baseurl}}{% link publications/daRochaPinto2017Reasoning.html %}) in January 2017.
He is currently working for [Collage.com, Inc.](https://www.collage.com/) a Michigan-based photo products e-commerce company.