Oct 2020 – Jun 2022 · 1 yr 8 mos

• Designed & Implemented a scalable data pipeline on AWS platform.
• Implemented the pipeline using AWS Kinesis, AWS ECS and S3.
• Implemented auto-scaling in AWS Kinesis stream and consumers to reduce costs and handle peak traffic load efficiently.
• Integrated AWS Databrew with the pipeline allowing users to explore the data and define data cleaning steps interactively.
• Worked on a Google Docs extension which can highlight text based on audio.
• Implemented highlighting mechanism - highlighting text in Google Doc in sync with the audio playing.

Dec 2019 – Apr 2020 · 4 mos

• Investigated Automated Theorem Provers and their application in building software for learning high school geometry.
• Investigated Samuel Papert’s ideas on Constructionist learning and its application in learning euclidean geometry from an axiomatic point of view.
• Implemented an inference engine which allows users to build and play with geometric figures and immediately see the effect of their action on the geometric figure.
• Designed and implemented novel ways of visually representing geometric proofs.

Jun 2018 – Nov 2019 · 1 yr 5 mos · Gurugram, Haryana, India

Oct 2017 – May 2018 · 7 mos

Oct 2015 – Sep 2017 · 1 yr 11 mos

Jun 2014 – Sep 2015 · 1 yr 3 mos

• Feature Development, Requirement Clarification, Attending Standup meeting with clients

Jun 2012 – Aug 2012 · 2 mos

• Project Development