May 2022 – Aug 2022 · 3 mos · Chicago, Illinois, United States · On-site

• Research on robustness of blockchain peer to peer networks against value-extracting strategic agents.
• Evaluate technical aspects of venture deals.

May 2020 – Present · 6 yrs 1 mo · New York, New York, United States · On-site

Aug 2019 – May 2020 · 9 mos · Ithaca, New York Area

• Computer Security / Privacy and Programming Languages principles

Apr 2018 – May 2019 · 1 yr 1 mo · Mumbai Area, India

• Proprietary and Confidential

May 2017 – Jul 2017 · 2 mos · Hyderabad Area, India

• Part of the Financial Engineering team at Uber, that is responsible for real time comprehensive management and reconciliation of all major financial streams (revenue and expenses included). Worked with a co-intern on writing a rules-engine in Golang from scratch. The rulesengine evaluates business rules and other functions, to be used by other micro services in a latency sensitive path. All our work went live in production at the end of the internship.

Mar 2017 – Apr 2018 · 1 yr 1 mo

• 1. Leading a team of 22 mentors for mentoring 120 sophomores and other academically weak students.
• 2. One of the three student representatives in the Deaprtment Undergrad Council (DUGC)

May 2016 – Jul 2016 · 2 mos · Nancy Area, France

• 1) Worked on Automatic Verification of Security Protocols by tools like APTE and AKISS written in the functional programming language OCAML
• 2) Worked with formal methods of reasoning in Netwrok Security
• 3) Studied the Applied Pi-Calculus, a popular modelling system for Concurrent Processes such as Security Protocols
• 4) Proposed and formalised two alternate Semantics of the Calculus which can be used for fast and efficient automatic verification

Apr 2016 – Apr 2018 · 2 yrs

• Mentor to 6 sophomores for their academic & overall development, and personally helping them to cope up with the curriculum.

Aug 2015 – Apr 2018 · 2 yrs 8 mos

• Teaching Assistant for the courses on :
• 1) Operating Systems -- Prof. Bernard Menezes
• 2) Computer Programming and Utilization (CS 101) - Present -- Prof. Bernard Menezes
• 3) Abstractions and Paradigms in Computer Programming (CS 152) - Spring 2016 -- Prof O.P. Damani
• 4) Quantum Physics and Applications (PH 107) - Autumn 2015 -- Prof S. Umasankar
• Responsible for evaluating and individually conducting weekly tutorial sessions for a fraction of the freshmen enrolled for the course

Apr 2015 – Apr 2016 · 1 yr

• 1) Responsible for Maintaining and improving the STAB (IIT Bombay’s Official Technical Body) Website and Wiki
• 2) Designed Portals for documentation and registration of participants of STAB events
• 3) Worked on making a Tech profile of each student in the institute employing efficient Database Management