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

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

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