Adele Veschetti
Consultant at Syncwork Ag
Darmstadt, Hesse, Germany
Summary
👤
Senior🎓
Top SchoolAdele Veschetti is a consultant and postdoctoral researcher with nine years of experience bridging applied mathematics and software engineering, currently working on model-centric deductive verification of smart contracts at TU Darmstadt. She combines formal methods and blockchain systems analysis from her PhD and research fellow work at the University of Bologna with hands-on teaching and tutoring experience across programming and mathematics courses. Adele has international research exposure through visiting positions in Copenhagen and Darmstadt, and recently transitioned into consulting at Syncwork AG to apply her verification expertise in industry. Her background in applied mathematics gives her a rigorous, model-driven approach to building auditable, secure software—especially in the smart contract and blockchain domain.
9 years of coding experience
Master's degree Applied Mathematics, Master's degree Applied Mathematics at Alma Mater Studiorum – Università di BolognaLiceo Scientifico G. Marconi Foligno
English, French, German, Italian
Github Skills (2)
documentation1
mkdocs1
Programming languages (2)
Github contributions (5)
stipula-language/stipula
Jul 2022 - Mar 2023
Contributions:63 commits, 72 pushes, 1 branch in 8 months
adeleveschetti/choreography-to-PRISM
Oct 2022 - Mar 2025
Contributions:150 pushes in 2 years 5 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.