Congratulations to Pedro da Rocha Pinto who defended his PhD thesis, Reasoning with Time and Data Abstractions at his viva on Friday 13th January 2017.
The viva was passed with minor corrections. Many thanks to Aleksandar Nanevski and Viktor Vafeiadis who acted as external examiner and to Susan Eisenbach, who acted as the internal examiner.

Pedro’s thesis was about exploring a number of design possibilities for a logic for modularly verifying shared-memory concurrent programs and introduces a new program logic called TaDA for verifying concurrent programs with much better support for abstraction.

Pedro’s latest paper, accepted to ESOP 2017 is on our publications page.