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 Enki a London company developing on-the-job learning apps for software developers.
Ph.D. Thesis, Imperial College London
- Thomas Dinsdale-Young
- Pedro da Rocha Pinto
- Kristoffer Just Andersen
- Lars Birkedal
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 420–447
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 964–990
Proceedings of the 25th European Symposium on Programming (ESOP’16), pp. 176–201
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’15), pp. 169–188
Electr. Notes Theor. Comput. Sci., vol. 319, pp. 3–18
Proceedings of the 28th European Conference on Object-Oriented Programming (ECOOP’14), pp. 207–231
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’11), pp. 845–864