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 (15)
blockchain9
ethereum9
p2p7
golang6
cryptocurrency6
go6
bitcoin6
dsl6
smart-contracts5
decompiler4
solidity4
abi4
security3
geth3
evm2
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.