Aaron Levin is a strategic procurement and business systems leader with 13 years of experience optimizing operations across enterprise Salesforce platforms and high-volume real estate portfolios. At HD Supply he managed a 4,200-user Salesforce ecosystem and drove 750+ annual releases, translating complex operational needs into scalable, Agile-delivered solutions. Now leading procurement transformation at Fairstead, he standardizes sourcing and vendor strategies across hundreds of multifamily communities to realize savings across hundreds of millions in operating expenses. He pairs data-driven sourcing and procurement analytics with hands-on systems design—skills honed earlier running his own operations-focused startup and managing 15,000 SKUs and global suppliers at ESP. A practical technologist and active open-source contributor, he has contributed authentication and functional-programming improvements to notable Haskell libraries like servant and cats, reflecting a rare blend of enterprise systems acumen and functional programming chops. Currently pursuing an MBA at Columbia, he balances strategic leadership with continuous technical learning and a parallel real estate investing track that funds affordable housing initiatives.
13 years of coding experience
5 years of employment as a software developer
Trailhead by Salesforce
Master of Business Administration - MBA, Master of Business Administration - MBA at Columbia Business School
Bachelor of Arts (B.A.), Economics, Bachelor of Arts (B.A.), Economics at Emory University
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Role in this project:
Back-end Developer
Contributions:24 commits, 17 PRs, 58 pushes in 1 month
Contributions summary:Aaron primarily contributed to enhancing the authentication and authorization aspects of the `servant` Haskell DSL. Their work included adding and modifying data types related to basic authentication, adding authentication support to the servant-server and servant-client modules. They implemented a general authentication mechanism, further extending the capabilities of the framework. The user also added and updated examples and documentation to reflect the new authentication features.
Lightweight, modular, and extensible library for functional programming.
Role in this project:
Back-end Developer
Contributions:9 commits, 5 PRs, 44 comments in 1 year 4 months
Contributions summary:Aaron contributed to the `cats` library, focusing on enhancing its functional programming capabilities. They added and tested `SemigroupK` instances for `Xor` and `Validated`, demonstrating proficiency in extending existing data types with new typeclasses. The commits also involved refactoring and improving the `XorT` implementation, indicating an understanding of typeclass relationships and functional programming principles. Furthermore, they added the `tailRecM` syntax for FlatMap, resolving an issue and improving the user experience. They updated the `Xor` to be aligned with `XorT`'s semantics.
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.