From 4bf7cf02ae35252992618f5656b174deb12fc444 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 7 Nov 2018 14:58:06 +0000
Subject: [PATCH] Add new file

---
 _posts/2018-09-03-radu.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 _posts/2018-09-03-radu.md

diff --git a/_posts/2018-09-03-radu.md b/_posts/2018-09-03-radu.md
new file mode 100644
index 0000000..5e70b24
--- /dev/null
+++ b/_posts/2018-09-03-radu.md
@@ -0,0 +1,16 @@
+---
+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), 
+who was awarded the IBM Project Prize for his MsC project, [Typing JavaScript via 
+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 
+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 
+is due to join Facebook London as a Software Engineer in October. Congratulations 
+and good luck!
\ No newline at end of file
-- 
GitLab