Heather Macbeth
General Manager, Byredo North America At Puig
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolHeather Macbeth is a commercial leader with 20+ years of brand and marketing leadership across luxury beauty and global consumer goods, now serving as General Manager for Byredo North America at Puig. She has scaled premium portfolios at Estée Lauder, Tom Ford Beauty and Swarovski, blending strategic marketing, integrated innovation and retail P&L stewardship to drive sustained growth. A graduate of UVA with executive training at Stanford GSB, Heather brings a data-informed creative sensibility that balances global positioning with hands-on North American execution. Unusually for a C-suite beauty executive, she contributes to formal mathematics software (Lean mathlib) on GitHub, signaling rare analytical rigor and a comfort with technical, proof-driven problem solving. Colleagues rely on her to translate complex brand architecture into clear consumer experiences while optimizing commercial performance.
6 years of coding experience
10 years of employment as a software developer
Executive Program SMM (Strategic Marketing Management), Executive Program SMM (Strategic Marketing Management) at Stanford University Graduate School of BusinessBA Foreign Affairs History, BA Foreign Affairs History at University of Virginia
Github Skills (16)
mathematics10
topology10
theorem-proving10
slim10
analyse10
t410
math10
algebra9
data-structure9
struct9
structures9
data-structures9
ordered8
ordered-set8
functional-programming7
Programming languages (6)
Github contributions (5)
leanprover-community/mathlib3
May 2020 - Jan 2023
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1301 reviews, 966 commits, 262 PRs in 2 years 8 months
Contributions summary:Heather contributed to the development of a mathematical library, `mathlib3`. Their commits focused on creating mathematical components, constructing normed spaces, and defining mathematical concepts within the formal verification system, Lean 3. They implemented core mathematical functions and theorems within the topology and analysis libraries. Their work involved defining the dual of a normed space and proving properties about it.
maththeorem-provingcomponents-librarymathematicsjavascript
leanprover-community/mathlib4
Oct 2022 - Jan 2023
The math library of Lean 4
Role in this project:Back-end Developer / Mathematical Theorem Prover
Back-end Developer / Mathematical Theorem ProverContributions:161 reviews, 60 commits, 104 PRs in 3 months
Contributions summary:Heather primarily contributed to porting and implementing mathematical theorems within the Lean 4 theorem prover environment. Their work involved translating mathematical concepts and proofs from Lean 3 to Lean 4, demonstrating an understanding of the Lean programming language and theorem proving methodologies. The commits showcase the user's ability to work with the Lean 4 math library, defining and manipulating mathematical structures, and verifying mathematical identities. The contributions span multiple areas of mathlib4, including data structures, algebraic structures, and order theory.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
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.