Ruan Formigoni
Analista Desenvolvedor Sênior III at Rumo Soluções
Minas Gerais, Brazil
Summary
👤
Senior🎓
Top SchoolRuan Formigoni is a senior C++ software engineer with nine years of experience bridging academic research and industry, currently serving as Analista Desenvolvedor Sênior III in Brazil. His background includes pioneering EDA tools for nanomagnetic logic—publishing BANCS and Ropper—and transitioning those research systems into robust C++ projects with CI/CD, CMake and Conan-based build pipelines. At Cadence he diagnosed and fixed failing formal-verification tests, upgraded compiler front-ends, and modernized test infrastructures by migrating bash to Python with remote job dispatching. An active open-source contributor, he improved build and package integration for the popular FunctionalPlus C++ library, addressing compiler compatibility and Conan automation. Comfortable across Linux, GitLab/GitHub CI, and low-level toolchains, he combines deep systems knowledge with a track record of turning novel research prototypes into maintainable engineering products.
9 years of coding experience
6 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Universidade Federal de Viçosa
English, Portuguese
Github Skills (9)
c-language10
cmake10
conan10
cicd9
cprogramming-language9
functional-programming9
c177
cpp7
algorithms4
Programming languages (11)
Github contributions (5)
Dobiasd/FunctionalPlus
Apr 2020 - Nov 2020
Functional Programming Library for C++. Write concise and readable C++ code.
Role in this project:
Backend & DevOps Engineer
Backend & DevOps EngineerContributions:3 reviews, 9 commits, 4 PRs in 7 months
Contributions summary:Ruan primarily focused on improving the build process and integration with other tools. This included fixing compilation errors related to GCC 10, integrating CMake for Conan package management, and adapting the build configuration for different compiler versions, specifically g++7. Furthermore, the user made changes to the package definition for conan to automate builds.
compositioncppc-plus-plus-17functional-programmingreadable
lesc-ufv/celaeno
Jul 2020 - Jul 2024
Contributions:25 pushes, 2 branches in 4 years 1 month
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.