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.
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](http://software.imdea.org/~aleks/)
and [Viktor Vafeiadis](https://people.mpi-sws.org/~viktor/) who acted as external examiner
and to [Susan Eisenbach](http://www.imperial.ac.uk/people/s.eisenbach), who acted as the internal examiner.
