• Technical lead for Zillow Privacy platform to comply with privacy laws such as CCPA by designing services and processes interfacing with Zillow’s legal team and technical teams in Zillow storing user PI and PII data

• Designed and implemented streaming data pipelines on CDC change events of Apache Iceberg tables and reflect on internal catalog platform

• Worked on observability layer for all datasets in Zillow's datalake comprising of 70k tables including table metadata, lineage and history

Serving as teaching assistant for Formal Methods course (17614) taught by Dr. David Garlan and Dr. Eunsuk Kang, comprising of 85 students. Responsible for clarifying student queries, grading homework and exam submissions, and conducting recitations.

Topics: Topic: TLA+, Set theory, Temporal logic, State Machine

Worked on converting LTSP formal modeling framework, to VS Code extension - to be used at Carnegie Mellon University's Formal Methods coursework in Fall 22. This involved documenting compiler components, updating the compiler code and behavior, exposing compiler commands in CLI, and planning for extension releases.

Topics - FSP, LTSP Modeling, modeling consensus protocols like Paxos

• Designed and implemented HTTPS Proxy and Capturing HTTPS Traffic for Postman desktop in Node.js, React, OpenSSL, and IPC libraries which resulted in 12% increase in user activity (16 Mil user base)

• Made performance optimizations of REST API endpoints by 95% by resolving MySQL DB bottlenecks and service dependencies led to 10% increased footfall on Postman Integrations home page

• Automated build and deployment release workflows using shell scripting saving every developer 3hr per week

Worked on a clinical software system that enables doctors and clinicians to view live fetal waveforms and act in a data-driven manner. Experience in the entire project lifecycle working on distributed systems with streaming applications of 1.2 Mil data points per minute (windowing, and batching), using various replicated data stores - Key-value (Redis), NoSQL (SyllaDB), Relational (MySQL). Experience in building and standardizing build pipelines for all teams in the org.

• Developed end-to-end streaming application to view past and live fetal waveform data using Angular, Spring Boot, web sockets, Kafka, and Redis

• Improved microservice deployment time in Kubernetes by 60% by revamping build and deployment plans

• Designed modular and configurable UI libraries in Angular with theme and i18n leveraged across GE globally

• Built distributed load generation framework for running reliability and load tests on service components