diff --git a/_posts/2018-09-03-radu.md b/_posts/2018-09-03-radu.md index 5e70b240b87bee8f6f7e3cf3c2579e44db290e34..edfd78abe801db8d5d515ab4c7c7b4a96273cf3b 100644 --- a/_posts/2018-09-03-radu.md +++ b/_posts/2018-09-03-radu.md @@ -1,5 +1,5 @@ --- -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