Badges
Certifications
Work Experience
Graduate Research Assistant
University of Massachusetts / UMass Amherst•  June 2015 - August 2018
As an MS/PhD student at UMass, I participated in programming languages research in the PLASMA lab (https://plasma-umass.org) with Professor Arjun Guha (arjun@cs.umass.edu). My focus was on program analysis. Two major projects that I worked on are described below. *Rehearsal: Rehearsal is a tool for verifying particular properties of Puppet configurations. Puppet is a domain specific language for specifying system configurations. The language is prone to non-deterministic behavior. Rehearsal verifies that a particular Puppet program is deterministic. This work was implemented in Scala and published at the Programming Language Design and Implementation Conference in 2016, where it won the Distinguished Artifact Award. The full paper can be found at https://arxiv.org/pdf/1509.05100.pdf . *Fission: Fission is a platform that dynamically splits a single JavaScript program into the appropriate client and server programs. Implemented in JavaScript and node.js, this work appeared at the Summit on Advances in Programming Languages in 2017. The paper can be found at http://drops.dagstuhl.de/opus/volltexte/2017/7124/pdf/LIPIcs-SNAPL-2017-5.pdf .
Grader
University of Massachusetts / UMass Amherst•  January 2016 - May 2016
I served as a "grader" for the undergraduate level Programming Methodology course. I had several duties: * Taught Lab Section: Was responsible for teaching a lab section for the sophomore level course. The course was taught in Scala and focused on functional programming fundamentals such as recursion and higher order methods. * Office Hours: Held weekly office hours to help students with assignments. * Piazza: Answered student’s questions on Piazza about assignments and concepts.
Computer Science Tutor
George Washington University•  September 2013 - May 2015
* Individual Tutoring: Tutored Computer Science majors in various courses such as Introduction to Software Development, Data Structures, Discrete Structures I and II, Computer Architecture, Algorithms, Operating Systems, and Foundations of Computing. Assisted students in learning concepts taught in these courses and how to apply them to assignments. * Study Hall: Helped organize and run a weekly study hall in the Computer Science department. Donated my time to tutor any underclassmen that decided to attend. Encouraged other upperclassmen to attend to help other students.
Computer Science Intern
Naval Research Laboratory•  June 2014 - August 2014
Summer internship. Worked on agile scrum team. We used a ticketing system, SVN, unit and integration tests, and Coverity. We also had two week sprints and daily stand-up meetings. Project: secure two-way communication device. This system, implemented in C and C++, allows data to pass from a low security machine to a high security machine without leaking secret information back to the low security machine. It also allows for declassified data to securely pass from the high security machine to the low security one.
Undergraduate Research Assistant
George Washington University•  June 2013 - May 2014
Under the direction of Professor Tim Wood (202 994-1918. timwood@gwu.edu), I participated in a research project to develop a statistically accurate benchmarking tool: BlogBench: Website benchmarking tool based on the Wordpress blogging platform. This system generates content for Wordpress blogs that model real-world websites. Number and size of posts and images are sampled from distributions which model Wordpress backed websites. This content generator was implemented in Java. Blogbench also models clients connecting to and navigating the sites using the Faban workload generator. I presented a poster about this work at the George Washington University SEAS Research and Development Showcase in 2014.
Learning Assistant
George Washington University•  August 2013 - December 2013
Also August 2014 - December 2014 In-class peer tutor for undergraduate computer science courses: * Computer Architecture (Fall 2013): Attended lectures once a week. Assisted students with in-class assignments by answering questions about topics covered in the lecture. * Discrete Structures II (Fall 2013): Attended all lectures and answered questions when students worked on practice exercises. Answered student questions on Piazza. * Introduction to Software Development (Fall 2014): Attended all lab sections and helped students with lab assignments and homework. Assisted in lessons taught at the beginning of each lab meeting. Answered questions on Piazza.
Education
University of Massachusetts at Amherst, Amherst
Computer Science, MS•  August 2015 - September 2018
George Washington University
Computer Science, BS•  August 2011 - May 2015