Merge branch 'master' of gitlab.doc.ic.ac.uk:resource-reasoning/psvg.doc.ic.ac.uk

_posts/2017-02-01-Gian_viva.md

+---
+title: Congratulations to Gian Ntzik on his viva
+---
+
+Congratulations to Gian Ntzik on successfully defending his PhD thesis, 
+Reasoning about POSIX File Systems and many thanks to [Ally Donaldson](http://www.imperial.ac.uk/people/alastair.donaldson)
+and [Hongseok Yang](http://www.cs.ox.ac.uk/people/hongseok.yang/Public/Home.html) who acted as examiners.  
+
+The thesis investigates the problem of rigorously specifying the semantics of the POSIX file system API 
+and using these specifications to reason about the correctness of implementation of API functions and 
+clients that interact with the API. The examiners found that Gian’s work contained new significant results 
+on formal specification and verifications of concurrent software systems and recommended 
+that the viva is passed with only minor corrections. 
+
+More details on Gian’s research can be found [here](https://psvg.doc.ic.ac.uk/people/ntzik.html)