Fernan Martinelli
Technical Lead at Double Nines
Cordoba, Córdoba, Argentina
Summary
👤
Senior🎓
Top SchoolFernan Martinelli is a Technical Lead and Software Engineering PhD with 12 years of experience building and architecting .NET systems, microservices, and APIs, currently leading teams at Double Nines. He combines practical delivery—C#/.NET Core, Azure, Docker/Kubernetes, Angular—and hands-on testing practices with deep research expertise in program analysis and model checking from his doctoral work at the University of Buenos Aires. His academic research automated inference of API behavior models and bytecode-level static analysis, a capability he has applied to improve validation, verification and protocol correctness in production code. A longtime freelancer and mentor, he has taught software engineering and model checking, bringing strong communication and agile leadership to cross-functional teams. He prefers pragmatic reuse of proven tools and patterns (SOLID, DI, repository/unit-of-work) while also building custom static-analysis tooling when needed. Based in Córdoba, Argentina, he pairs rigorous formal-methods thinking with practical CI/CD and cloud-native delivery.
12 years of coding experience
9 years of employment as a software developer
Bachelors degree, Computer Science, Bachelors degree, Computer Science at Universidad Nacional de Río Cuarto
Spanish, English, French, Italian
Github Skills (3)
quantitative7
c-library5
cpp4
Programming languages (1)
Github contributions (5)
fmartinelli/libqif
Sep 2013 - Nov 2013
Contributions:46 commits in 1 month
cppc-plus-plusinformation-flowquantitative
fmartinelli/bytecodetranslator
Sep 2016 - Mar 2018
Contributions:1 push, 3 branches in 1 year 6 months
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.