Winner of VMware Intern Hackathon

Researching formal methods for software verification with the Yale Rose Lab

Designed, implemented algorithms and garbled circuit protocols for privacy preserving model checking. Used C++ and the EMP-Toolkit Library

Discovered a security vulnerability with Google Cloud Deployment Manager that targets intra-update weaknesses.

· Using MERN stack to create a social media type feed of projects for BangTheTable, an open-source online platform enabling swift communication and consultation between municipal administrators and members of their constituency.

· Created and maintained schema for the projects, users, and interactions between them such as likes, comments, searches, and saved projects

http://ehq-admin-community.herokuapp.com/