diff --git a/2017-01-13-Pedro_viva.md b/2017-01-13-Pedro_viva.md
new file mode 100644
index 0000000000000000000000000000000000000000..514ca36f4df7c626a83ecabbe9dae26eca481d00
--- /dev/null
+++ b/2017-01-13-Pedro_viva.md
@@ -0,0 +1,12 @@
+---
+title: Successful viva for Pedro da Rocha Pinto
+---
+
+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.
+
+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 
+You can see the latest paper from Pedro, accepted to ESOP 2017 [here](https://psvg.doc.ic.ac.uk/publications/Dinsdale-Young2017Caper.html)
\ No newline at end of file