From f88ef3168058cb0c4312c0e2f5099b766366e929 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 19 Apr 2018 16:22:20 +0100
Subject: [PATCH] Add new file

---
 _posts/2017-03-01-daiva-thesis.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 _posts/2017-03-01-daiva-thesis.md

diff --git a/_posts/2017-03-01-daiva-thesis.md b/_posts/2017-03-01-daiva-thesis.md
new file mode 100644
index 0000000..0c4eeef
--- /dev/null
+++ b/_posts/2017-03-01-daiva-thesis.md
@@ -0,0 +1,12 @@
+---
+title: Congratulations to Dr Daiva Naudžiūnienė
+---
+
+Many congratulations to [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/), 
+who very successfully defended her PhD thesis, [An Infrastructure for Tractable 
+Verification of JavaScript Programs]( https://psvg.doc.ic.ac.uk/publications/Naudziuniene2018Infrastructure.html) 
+on Monday 1st March.
+
+Also many thanks to [Matthew Parkinson](https://www.microsoft.com/en-us/research/people/mattpark/), 
+[Tamara Rezk](https://www-sop.inria.fr/lemme/Tamara.Rezk/) and [Susan Eisenbach](http://www.imperial.ac.uk/people/s.eisenbach) 
+who acted as the examiners.
\ No newline at end of file
-- 
GitLab