Andrea Franchini is a Full Stack Engineer with 11 years of experience who blends modern web development, data engineering and cloud architecture with a research background in formal verification. At Politecnico di Milano he curates the React stack and CI/CD for a 20-year-old custom Java framework powering 300+ apps and maintains the official Polimi mobile app with 50K MAU. His master's thesis and research work applied SMT-based model checking to Infrastructure-as-Code, and he contributed as a Verification Tool Engineer on the EU-funded PIACERE H2020 project. He regularly mentors over 100 developers in TypeScript and React and teaches functional and concurrent programming to graduate students, combining deep theory with hands-on delivery. Known for pragmatic leadership in cross-disciplinary teams, he often bridges design, engineering and verification to ship pixel-perfect, auditable systems. His personal projects and tooling are available on GitHub and showcase the same eclectic tech mix that defines his work.
11 years of coding experience
1 year of employment as a software developer
Master’s degree in Computer Science and Engineering Computer Science and Engineering, Master’s degree in Computer Science and Engineering Computer Science and Engineering at Politecnico di Milano
Contributions:98 commits, 8 PRs, 68 pushes in 4 years 11 months
reactssgdungeonsdragonsspell
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.