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... I'm looking forward to working with everyone else at the Lean FRO and the wider Lean community to help make Lean even better.
My background is in mathematics and I've had an interest in interactive theorem provers since before I was ever a professional software engineer, so it's a bit of a dream come true to be able to pursue this full-time.