diff --git a/_posts/2017-01-13-Pedro_viva.md b/_posts/2017-01-13-Pedro_viva.md
new file mode 100644
index 0000000000000000000000000000000000000000..427eb0f78417a0caae9506937a14dca30eb7a464
--- /dev/null
+++ b/_posts/2017-01-13-Pedro_viva.md
@@ -0,0 +1,13 @@
+---
+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](https://psvg.doc.ic.ac.uk/publications/daRochaPinto2014TaDA.html) 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)