Add new file

_posts/2017-03-01-daiva-thesis.md

+---
+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