From 435c94a27092dbc04eb9ce06c5996d76e2b3d1ba Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 15 Feb 2017 17:05:44 +0000
Subject: [PATCH] Update 2017-02-01-Gian_viva.md

---
 _posts/2017-02-01-Gian_viva.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2017-02-01-Gian_viva.md b/_posts/2017-02-01-Gian_viva.md
index 5cca43b..3afaf1e 100644
--- a/_posts/2017-02-01-Gian_viva.md
+++ b/_posts/2017-02-01-Gian_viva.md
@@ -7,7 +7,7 @@ Reasoning about POSIX File Systems and many thanks to [Ally Donaldson](http://ww
 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 
+and uses 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. 
-- 
GitLab