From 7c31f501e2af02c55fd937e6788692b5974671c8 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 2 Aug 2018 13:26:46 +0100
Subject: [PATCH] Update 2018-07-16-seminar.md

---
 _posts/2018-07-16-seminar.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_posts/2018-07-16-seminar.md b/_posts/2018-07-16-seminar.md
index 9477aa0..53a3745 100644
--- a/_posts/2018-07-16-seminar.md
+++ b/_posts/2018-07-16-seminar.md
@@ -2,8 +2,8 @@
 title: Seminar by Felix Stutz on Automated Verification of Security Protocols 
 ---
 Felix Stutz gave a talk on Monday on Automated Verification of Security Protocols. He 
-presented the latest result of the project he is doing with Emanuele D’Osualdo 
-which will inform his Master Thesis.
+presented the latest work on the project he is doing with Emanuele D’Osualdo and which  
+will inform his Master Thesis.
 
 The abstract is: 
 Security protocols are distributed programs that are designed to achieve secure 
-- 
GitLab