The IBM Project Prize recognizes outstanding achievement in an individual undergraduate 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 is due to join Facebook London as a Software Engineer in October. Congratulations and good luck!