Update 2018-09-03-radu.md

_posts/2018-09-03-radu.md

 ---
-title: IBM Project Prize, to Radu Szasz Msc project, supervised by Philippa Gardner and Jose Fragoso
+title: IBM Project Prize to Radu Szasz, Msc project supervised by Philippa Gardner and Jose Fragoso
 ---
 
 Congratulations to [Radu Szasz](https://github.com/raduszasz) (MEng Computing Year 4), 
@@ -7,8 +7,8 @@ who was awarded the IBM Project Prize for his MsC project, [Typing JavaScript vi
 Symbolic Execution](https://www.imperial.ac.uk/media/imperial-college/faculty-of-engineering/computing/public/1718-ug-projects/Radu-Szasz-Typing-JavaScript-via-Symbolic-Execution.pdf), supervised by Philippa Gardner and Jose Fragoso. 
 
 The IBM Project Prize recognizes outstanding achievement in an individual undergraduate 
-project the Department of Computing. Radu worked with Philippa Gardner and Jose 
-Fragoso over the summer, to build a mechanism for using TypeScript type annotations 
+project the Department of Computing. Over the summer, Radu worked with Philippa Gardner and Jose 
+Fragoso to build a mechanism for using TypeScript type annotations 
 as light-weight specifications for JaVerT, a static analysis tool based on Separation 
 Logic. He then applied that approach to a number of examples, and was 
 able to achieve a 40-fold reduction in the specification character count. Radu