Marco Tinacci
Software Engineer at Roku Inc.
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolMarco Tinacci is a software engineer with 11 years of experience who blends strong academic foundations—including a master's with honors and PhD research—with hands-on back-end and full-stack development across finance and consumer tech. He has progressed from early back-end roles to senior engineering positions at Nationwide and Roku, delivering reliable systems and practical solutions informed by research in verification, adaptive systems, game theory, and probabilistic processes. Comfortable at the intersection of theory and production, he focuses on automated verification and testing practices and applies machine learning where it improves system adaptivity. Based in London, he brings a methodical, research-driven mindset to engineering teams, often translating complex formal ideas into pragmatic, testable code.
11 years of coding experience
6 years of employment as a software developer
Bachelor degree in Computer Science, Computer Science, 109/110, Bachelor degree in Computer Science, Computer Science, 109/110 at Università degli Studi di Firenze
English, Italian
Stackoverflow
163reputation
19kreached
6answers
1question
Github Skills (7)
csv6
javascript6
dictionary6
animation6
python6
database6
conditional-statements6
Programming languages (3)
Github contributions (5)
marcotinacci/wordle
Jan 2022 - Oct 2022
Contributions:45 commits, 2 PRs, 5 pushes in 8 months
marcotinacci/ecommerce_api
Mar 2017 - Jun 2017
Contributions:110 pushes, 25 branches in 2 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.