Senior Principal Applied Scientist at AWS, and Chief Architect at Lean FRO (non-profit)
I am thrilled to welcome Cameron Zwarich to the Lean FRO! As the brilliant creator of Rosetta 2 and an exceptional software developer with over 15 years of experience at Apple specializing in low-level systems software, Cameron will focus on enhancing Lean's code generator. I can’t wait to see the incredible impact his expertise will have on the Lean ecosystem! #LeanLang #LeanProver #LeanFRO