Tiziana Cimoli
Postdoctoral Researcher at Università degli Studi di Cagliari
Cagliari, Sardinia, Italy
Summary
👤
Senior🎓
Top SchoolTiziana Cimoli is a postdoctoral researcher at Università degli Studi di Cagliari with nine years of professional experience bridging industrial software development and formal research in computer science. Her work centers on contract-oriented interactions, using event structures, Petri nets and session types, and more recently focuses on smart contracts and blockchain security with particular attention to fraud and vulnerabilities. She combines a strong theoretical foundation from a PhD and a Master's from Università di Pisa with practical programming experience accumulated in multiple software analyst and developer roles. Based in Cagliari, she brings a rare blend of formal methods expertise and hands-on industry practice, enabling rigorous yet pragmatic approaches to securing decentralized systems.
9 years of coding experience
12 years of employment as a software developer
Liceo Linguistico Giuseppe Mazzini, La SpeziaMaster's degree in, Computer Science, Master's degree in, Computer Science at Università di Pisa
English
Github Skills (11)
blockchain8
ethereum8
go7
cryptocurrency6
p2p6
dsl6
bitcoin5
smart-contracts5
decompiler4
geth4
security3
Programming languages (4)
Github contributions (5)
blockchain-unica/social-good
Sep 2018 - Oct 2018
Contributions:134 commits, 121 pushes in 1 month
tcimoli/balzac
May 2018 - Jun 2018
Contributions:31 pushes, 2 branches in 17 days
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.