Stefano Demarchi
Technical Leader at ParvaSoft S.p.A.
Genoa, Liguria, Italy
Summary
👤
Senior🎓
Top SchoolStefano Demarchi is a Technical Leader and researcher with nine years of experience bridging academic research and applied engineering in computer science and neural network verification. With a PhD in Computer Science and a European double Master in Complex Systems, he has held roles from PhD student and visiting researcher to adjunct professor and now leads technical efforts at ParvaSoft in Genoa. His work focuses on verification of neural systems and optimization algorithms, reflecting a blend of formal methods and practical development. Fluent in both academic publishing and hands-on implementation, he brings rigorous problem-solving tempered by experience teaching core computer science concepts. An accomplished percussionist-trained musician, he brings an atypical creative perspective to system design and team collaboration.
9 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science and Systems Engineering, Doctor of Philosophy - PhD, Computer Science and Systems Engineering at Università degli Studi di GenovaConservatorio di Musica "Niccolò Paganini"Master, Complex Systems in Interaction, A, Master, Complex Systems in Interaction, A at Université de Technologie de Compiègne (UTC)
English, French, Italian
Github Skills (17)
solver8
verification7
smt7
java-api6
cartesian-product6
api6
java6
machine-learning-models6
deep-learning5
machine-learning5
python5
permutation4
java-streams4
combinations4
combinatorics3
Programming languages (3)
Github contributions (5)
NeVerTools/NeVerTools.github.io
Jul 2021 - Sep 2024
Contributions:55 pushes, 5 branches in 3 years 2 months
NeVerTools/CoCoNet
Aug 2021 - Aug 2022
A tool for construction and conversion of neural networks across different standards
Contributions:2 releases, 20 commits, 2 PRs in 1 year
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.