From 1b14d71c72ebb21f39bf9a70e6b58c38787eda96 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 16 Feb 2017 09:37:45 +0000
Subject: [PATCH] Add new file

---
 _posts/2017-01-13-Pedro_viva.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 _posts/2017-01-13-Pedro_viva.md

diff --git a/_posts/2017-01-13-Pedro_viva.md b/_posts/2017-01-13-Pedro_viva.md
new file mode 100644
index 0000000..427eb0f
--- /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)
-- 
GitLab