diff --git a/_posts/2017-02-01-Gian_viva.md b/_posts/2017-02-01-Gian_viva.md
index 5cca43bec709591c2602a7509d41c7feeb58bb34..3afaf1e5c51ccb98fa539a2e25a7e0c34e796097 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.