Viktor Teren
R&D Staff Member at Synopsys Inc
Veneto, Italy
Summary
👤
Senior🎓
Top SchoolViktor Teren is an R&D Staff Member at Synopsys with 11 years of experience bridging academic research and industrial engineering. He holds a Ph.D. in Computer Science from the University of Verona, where he focused on synthesizing synchronizing Petri net sets and ensuring safe synchronization—work that underpins reliable concurrent and embedded systems. Viktor combines formal methods expertise with hands-on development, shaped by internships and roles across Europe including UPC and Fincons Group. Based in Veneto, Italy, he brings a rigorous, experiment-first philosophy to problem solving and a track record of translating theoretical models into practical R&D outcomes.
11 years of coding experience
Master's degree in Computer Science, Embedded Systems course, 110/110 cum Laude, Master's degree in Computer Science, Embedded Systems course, 110/110 cum Laude at Università degli Studi di VeronaHigh school diploma, Computer Science, 80/100, High school diploma, Computer Science, 80/100 at ITIS MarconiPh.D., Computer science, Excellent, Ph.D., Computer science, Excellent at University of VeronaInternship, Computer Science, Internship, Computer Science at Universitat Politècnica de Catalunya (UPC)
Italian, Russian, ucraino, English
Github Skills (10)
oop10
debugging10
optimization10
pointer10
c-programming9
object-oriented-programming9
cpp9
boolean5
encoding4
cnf3
Programming languages (2)
Github contributions (5)
McSmoove/ScacchiReload
Dec 2015 - Jan 2021
Contributions:25 pushes in 5 years 2 months
McSmoove/Scacchi
Jan 2015 - Nov 2015
Contributions:76 commits, 71 pushes in 9 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.