Hari Amoor
Software Engineer
Programming Language Theory and Formal Methods (Expert): Haskell, Coq, Idris, Agda
Systems Programming (Expert): Rust, C/++
Web Development (Proficient): Java platform, Python, SQL (Amazon Aurora, compatible with MySQL/PostgreSQL)
2021-06 to 2021-11
Knowledge Engineer:
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
2020-06 to 2020-08
Software Engineer Intern:
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
2019-05 to 2019-08
Software Engineer Intern:
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%
2017-09-01 to 2021-05-15
Rutgers University -- New Brunswick
Bachelor: Computer Science, [Abstract] Mathematics