Sofia da Silva Rodrigues

Sofia Da Silva Rodrigues is a skilled software engineer with a diverse background in enhancing developer experiences and advancing technology across various companies. Currently employed at Lean FRO since February 2024, Sofia focuses on improving the Lean4 language ecosystem. Prior to this role, Sofia contributed to blockchain technology at Cartesi by developing a consensus algorithm and gained experience in functional programming at Buzzlabs. As a Compiler Engineer at Higher Order Company, Sofia led the development of a new compiler for the Kind programming language, while previous work at Lacuna Software involved creating digital solutions for the "Colégio Notorial Brasileiro." Early career experience includes a position as a Junior Software Engineer at Hello Soluções.