About

Work Experience

• Knowledge Engineer, Cloutics, Inc.

  Jun, 2021 - Nov, 20215 months

  Cloutics, Inc. is a talent-placement company with clients in the financial services industry looking for expertise in programming language theory and formal methods

  • Transformed legal mandates given by jurisdiction-specific settlement counterparties, e.g., DTCC and ESMA, into production software to help users understand the legal obligations induced by their financial trades

  • Interacted with top-level clients such as Barclays' bank and the Bank of Nova Scotia to derive actionable technical requirements from legal and financial obligations

  • Utilized a proprietary dependently-typed language similar to the Coq automated theorem-proving language to provide formal guarantees against client-facing software

• Software Engineer Intern, MongoDB, Inc.

  Jun, 2020 - Aug, 20202 months

  MongoDB, Inc. is a database development company responsible for the development of the open-source MongoDB database and various data management services therein

  • Supported an effort across the Enterprise Tools department for improved MongoDB support for high-volume and high-complexity OLAP workloads

  • Improved correctness and logging behavior of the MongoDB Database Tools -- a suite of command-line interfaces for database operations

  • Spearheaded several tasks to achieve optimization of the Tools' performance characteristics, resulting in over a 25% improvement in runtime speed

  • Enabled a significant reduction in cases of undefined behavior across many of the department's products

• Software Engineer Intern, Facebook, Inc.

  May, 2019 - Aug, 20193 months

  Facebook, Inc. (now rebranded as Meta) develops social media platforms such as Facebook and Instagram, and also develops in-house tooling and infrastructure for the same

  • Engineered and maintained an end-to-end system to monitor application failures and expose a data warehouse of crash metadata for internal usage

  • Designed and implemented a major refactoring of the categorization service for failures in native code on Android

  • Improved server-side utilization of LLVM metadata, which is increasingly important for triaging Facebook mobile apps

  • Enabled the reduction of cases of misaggregation and over-aggregation by the crash triaging pipeline by over 31%

Projects Experience

• Ludicrous Card System (LCS), HackRU

  Aug, 2016 - Aug, 20161 day

  Web backend for HackRU -- biannual Rutgers University hackathon

  • Provided backend and infrastructure services to various mobile apps used by HackRU organization

  • Enabled the deprecation of the previous system and allowed HackRU as an event to scale to over 800 hackathon users

Skills

Education