About Me

Born in Faro, Portugal. Studied at IST where I got my BSc in Information Systems and Computer Engineering. I undertook a MSc in Advanced Computing and a PhD in Computing at the Department of Computing in Imperial College supervised by Philippa Gardner. I am currently a PostDoc in the Program Specification and Verification Group, headed by Philippa Gardner.

Research Interests

  • Resource Reasoning
  • Concurrency
  • Formal Verification
  • Separation Logic
  • Abstract Atomicity
  • Abstract Predicates
  • Data Structures
  • Modular Reasoning

My Picture

Publications

2017

2016

2015

2014

2011

2010

Contact

Pedro da Rocha Pinto
Department of Computing
Huxley Building
Imperial College
180 Queens Gate
London SW7 2AZ

Email: pmd09@doc.ic.ac.uk