Experience

Airkit.ai

• United States
• Software Development
• 1 - 100 Employee

• Software Engineer II

  • Aug 2023 - Present

• Software Engineer

  • May 2022 - Jul 2023

  I am a member of the Runtime team. A non-exhaustive list of the work I've done during my time at Airkit: • Designed and implemented a log-based, eventually consistent, state-store using Redis and Postgres to process concurrent updates to the state of an Airkit application. Wrote Lua scripts to guarantee operation atomicity on Redis. • Worked on Airscript – the language used to develop distributed apps on the Airkit platform. For instance, I introduced LET...IN syntax to Airscript which allows users to declare local variables (associated Airkit documentation about the syntax is attached)• Developed a type-inference system for Airscript functions to accurately predict argument and return types using a constraint-based algorithm. This gives static-analysis warnings during development, preventing runtime errors due to incompatible types.• Revamped the implementation of AirValue -- an immutable JS library used by Airscript at runtime -- to store metadata along with values. Show less



University of Toronto

• Canada
• Higher Education
• 700 & Above Employee

• Open Source Developer

  • Sep 2021 - Dec 2021

  • Worked on PythonTA - a Python program that helps 1000s of students in introductory Python courses at the university find and fix common errors. • Added support for dynamically checking function postconditions provided in the docstring of the function. • Worked on PythonTA - a Python program that helps 1000s of students in introductory Python courses at the university find and fix common errors. • Added support for dynamically checking function postconditions provided in the docstring of the function.



Amazon

• United States
• Software Development
• 700 & Above Employee

• Software Development Engineer Intern

  • Jun 2021 - Aug 2021

  • Created a notification service using AWS technologies such as SNS, DynamoDB and Lambda at Amazon Advertising. • Introduced a secondary index on the DynamoDB table used by the service, which lead to a 74% reduction in querying times for non-key attributes, allowing the Lambda to achieve a runtime of 13s. • Used Java 11 to write the core logic of the service and TypeScript to create the infrastructure through the AWS CDK • Created a notification service using AWS technologies such as SNS, DynamoDB and Lambda at Amazon Advertising. • Introduced a secondary index on the DynamoDB table used by the service, which lead to a 74% reduction in querying times for non-key attributes, allowing the Lambda to achieve a runtime of 13s. • Used Java 11 to write the core logic of the service and TypeScript to create the infrastructure through the AWS CDK



Oracle

• United States
• IT Services and IT Consulting
• 700 & Above Employee

• Software Developer Intern

  • Sep 2020 - Apr 2021

  • Developed a command-line tool in Javascript to automate the conversion of XML documents to Scala scripts • Created C# utilities to facilitate quick upgrades of 3rd party libraries, improving developer experience by preventing manual intervention to resolve issues during upgrades • Resolved critical security issues with Eloqua by reasoning about possible attack vectors to help the product comply with security policies • Developed a command-line tool in Javascript to automate the conversion of XML documents to Scala scripts • Created C# utilities to facilitate quick upgrades of 3rd party libraries, improving developer experience by preventing manual intervention to resolve issues during upgrades • Resolved critical security issues with Eloqua by reasoning about possible attack vectors to help the product comply with security policies



Amazon

• United States
• Software Development
• 700 & Above Employee

• Software Development Engineer Intern

  • Jun 2020 - Aug 2020

  • Effectively collaborated with people from 3 different teams to create a troubleshooting app for an internal Amazon portal to help employees resolve issues regarding the availability of an item on the Amazon retail website. • Made the app interactive by using a question tree to narrow down the possible issues based on user’s responses to ensure their pain-point is addressed as fast as possible • Used React to develop UI for the tool and the Spring MVC Framework for the backend. Extensively tested the application using Java testing libraries such as JUnit and Mockito Show less



Department of Computer Science, University of Toronto

• Canada
• Higher Education
• 1 - 100 Employee

• Teaching Assistant (CSC 165)

  • Jan 2020 - Apr 2020

  Helped students in building strong mathematical foundations for future computer science courses by aiding them in solving weekly worksheets for the introductory Mathematical Reasoning course for Computer Science. Helped students in building strong mathematical foundations for future computer science courses by aiding them in solving weekly worksheets for the introductory Mathematical Reasoning course for Computer Science.