Interests
- Cloud Computing
- Distributed Systems
- Microservices
- Serverless Computing
- Functions as a Service (FaaS)
- Programming Languages
- Systems Programming
Education
Master of Science (MS) in Computer Science
University of California, San Diego, 2015-2017
MS Thesis: Synthesizing Loop Invariants Through a Multiplayer Game
Bachelor of Engineering (BE) in Computer Engineering
University of Mumbai, 2009-2013
BE Project: Mathematical Programming Language
Experience
Senior Software Engineer, GoDaddy
April 2019 - present
- Leading the design and development of several critical features for the GoDaddy Conversations product
- Collaborating across teams and organizations at GoDaddy, and with external organizations at AWS, Twilio, Facebook, Google, etc.
- Evaluating and recommending programming languages, frameworks and libraries
- Mentoring junior engineers and interns
Software Engineer, GoDaddy
July 2017 - March 2019
- Worked as a backend developer to migrate GoDaddy SmartLine's backend and telephony infrastructure to the public cloud (GCP and later AWS)
- Improved the scalability, security, performance, availability and operational expenditure of SmartLine and other internal open-source projects
Graduate Student Researcher, UC San Diego
March 2017 - September 2017
- Designed and implemented tools and experiments for an international study to measure programmers' productivity in relation to environmental factors
Software Engineer Intern, Lytx
June 2016 - August 2016
- SaaS development using AngularJS on the front-end, Node.js, .NET and SQL Server on the back-end in an agile development environment
- Improved software reliability by migrating code to latest Node.js frameworks, reviewing code, and writing automated unit and E2E tests
Developer, Tata Consultancy Services
November 2013 - June 2015
- Developed, enhanced and provided support for infrastructure and applications developed in Java and .NET Framework
- Significantly improved infrastructure and applications' robustness, efficiency and reliability
Papers
- A Domain-Specific Language for Constructing and Reasoning About the Security of Garbled Circuits
- FloRead: Enhancing reading experience with eye-tracking and IoT
- Dimpl: An Efficient and Expressive DSL for Discrete Mathematics
- Predicting Students' Performance Using ID3 and C4.5 Classification Algorithms
- A Domain-Specific Language for Discrete Mathematics
- A Secure Method for Signing in Using Quick Response Codes with Mobile Authentication
- Secure Login Through Mobile Authentication