Update 2018-07-16-seminar.md

_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