I worked with others in NetInfra on blackbox validation and testing of SDN switches! https://research.google/pubs/pub51497/

BU SAIL is a professional software design and development lab that serves as a collaborative resource for computational and data-driven research efforts across Boston University. BU SAIL is working on a variety of back-end / full-stack projects that utilizes Secure Multi-party Computation (MPC) to allow clients to compute aggregates and analyse on their collective private inputs without revealing the inputs. As well as a variety of applications and real-life deployments supported by this platform.I am working on a back-end platform that supports performing MPC on-the-fly when clients are utilizing different devices including mobile applications or web applications.

I worked with Prof. Dina Katabi and the Emerald Innovations team (https://emeraldinno.com/). I worked on developing various cloud and distributed systems backends for collecting data from IoT devices and performing health analytics over that data with machine learning.

Interactive Life provides a platform to create and manipulate mobile apps by non-experts. The platform offers a wide variety of features including chat, live-stream, information triggering based on a collection of events in real-time, smart engine for targeting audiences. The platform is constantly being extended in many directions, to offer more sophisticated triggering events, smart/suggestion engine, and data analytic and mining tools. I was a part of the team in the early-stages of the startup.The Android side of the platform is a private SDK that provides many generic features to the apps. The SDK is included as a library using Gradle to each app. Complex apps can extend behavior and customize the UI by attaching plugins or extending SDK modules. Customizations are registered in the SDK using dependency-injection, annotation processing and the builtin Manifest Merger. The SDK provided generic implementations of chat, live-streaming, billing, triggering, push-notifications, server communication and generic animations.I worked on both the Android SDK, the back-end server engines, and the server UIs. I participated in the design and architecture of the Apps as well as the engines. Some of the technologies I used: Android Billing, PubNub chat, Java Annotation Processing, Caching, Python/Flask, SQL-Alchemy, Postgres, Neo4j , Jersy, Nginx and Gunicorn. I was also briefly exposed to Open Fire (XMPP Messaging), Wowza streaming engine, and the workings of node.js and MongoDb. I had to deal with setup issues on Ubuntu servers and Amazon AWS EC2.The design relied heavily on Object-Oriented concepts and design patterns. Reflection, serialization, and ClassLoader were used. SQLAlchemy models and POSTGRES Tables were automatically generated based on user input. The design addressed having multiple servers with different purposes and synchronization data between them. It contained a mechanism for injecting plugins into Activities and Fragments using Annotations.

Worked on Three projects (in chronological order):- MoDroid: A framework to facilitate Android Development through Model-Based development. Provides simpler syntax, easier testing, automatic permission detection, simple static code analysis, and model composition. Paper in Press.- Pairwise Refactoring: Continuation on previous Master's Theses. Focus on modeling interactions in distributed programs (I/O Automata) on a pairwise basis, it avoids state explosion in finite state programs, and simplifies proofs while enabling compositional reasoning in infinite state programs. My work focused on creating an efficient algorithm for transforming any given model into an equivalent model in pairwise form.- Eshmun (http://eshmuntool.blogspot.com/): Subtractive Model Repair is the problem of finding sub-structures that satisfy specifications. In other words, given a structure and specifications, and given that the structure does not meet its specifications, can we modify the structure to satisfy the specs by deleting unwanted parts of it. This problem is NP-Complete. Eshmun is a tool that efficiently solves the problem (using a SAT solver in the backend). Eshmun handles Kripke Structures as well as pair-concurrent Kripke Structure, which can model and repair concurrent programs without state explosion. The language of the specifications is CTL. Eshmun contains many other features like model checking, a visual implementation of Clarke & Emerson 82's Decision Procedure, Transforming models into synchronization skeletons, action-based syncronization, and repair with abstraction. Eshmun has a easy to use GUI with emphasis on visuals and HCI.

Teaching Assistant in Operating Systems (50+ Students) and Discrete Mathematics (70 Students).Academic responsibilities included: - Grading homework.- Preparing homework assignments and course handouts.- Creating solution keys for homework and exams.- Giving recitations and problem solving sessions.- Holding open office hours for students.

Multiple Web Applications in a variety of languages and frameworks. In particular Java and Python/Flask. Web UIs using HTML and Bootstrap. Postgres and MySql databases. As well as javascript/jquery on the front end. Dealt with Stripe Payment Gateway briefly.

Designed basic Web UIs in HTML, backend scripts in Python/Flask, basic database manipulations in Postgres. Summer job.