Worked on creating Python scripts to pull video data from existing databases, via ElasticSearch. Collaborated with the company's Products and Solutions teams to create in-house apps and shortcuts for product demonstrations and data analysis, via Python based ElasticSearch queries, RabbitMQ flows, and AngularJS. Worked with mentors to speed up client saved searches processing, via RabbitMQ flows and Redis storage.

Worked with Natural Language Processors (NLP’s) to create a working automated proof- checker for mathematical English, which took in generic proofs in English, returning box proofs verifying their validity, or labeling them as incorrect. Utilized APIs for Microsoft’s Z3 prover and Stanford’s Natural Language Processing Group, which involved working heavily with Java. Performed file manipulation via Python scripts.Produced several presentations to educate fellow students and professors on the project.

Won First place in the intermediate division. Worked with a group of students to implement a local iPad game in Objective C. Personally worked on designing and connecting front end applications to back end code, and on general testing and debugging. Project can be found at http://devpost.com/software/hungry-hands.