Gian Farina
Software Engineer at nyāya
Greater Perugia Metropolitan Area Italy
Summary
👤
Senior🎓
Top SchoolGian Farina is a software engineer with 16 years of experience blending formal methods, differential privacy, and programming language theory into practical systems. He holds a PhD focused on symbolic execution for differential privacy and has transitioned that research into production roles at LeapYear, Snowflake, and now nyāya, helping firms apply cryptography and privacy-preserving analytics at scale. His background spans academic cryptanalysis and theoretical CS (ETH Zurich, Aalto) to hands-on security work including penetration testing and ML-driven log analysis. Based in the Greater Perugia area, Gian is comfortable moving between research and engineering, turning provable guarantees into deployable software for secure data analysis. An understated strength is his ability to bridge rigorous proofs with pragmatic implementation, enabling privacy-aware features that integrate with large enterprise data platforms.
16 years of coding experience
7 years of employment as a software developer
University of MilanExchange Student Computer Science, Exchange Student Computer Science at Aalto UniversityLaurea Triennale Informatica, Laurea Triennale Informatica at Alma Mater Studiorum – Università di BolognaDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University at Buffalo
English, ItalianGithub contributions (2)
giampy/PNSC
Feb 2010 - Apr 2010
Contributions:48 commits in 1 month
giampy/betasTests
Feb 2015 - Feb 2015
Contributions:8 pushes, 1 branch in 1 day
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.