معرفی
Luca Olivieri is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. His research focuses on blockchain technology, software verification, and cybersecurity, with particular emphasis on static analysis of smart contracts and distributed ledger systems. He is affiliated with the Research Institute for Complexity and teaches courses on computer programming and software verification at both undergraduate and doctoral levels.
His research interests include blockchain interoperability, smart contract security, privacy-preserving technologies, and compliance with regulations such as the EU Data Act and GDPR. He has contributed to the development of static analysis tools like GoLiSA and MichelsonLiSA, which address challenges in ensuring determinism, data integrity, and vulnerability detection in blockchain ecosystems.
Recent work explores cross-chain verification, phantom reads in Hyperledger Fabric, and the integration of general-purpose programming languages (e.g., Go, Java) into blockchain development. His publications appear in venues such as ACM SAC, IEEE Access, and the International Journal on Software Tools for Technology Transfer, reflecting a strong focus on both theoretical advancements and industrial applications.
Collaborations with peers like Agostino Cortesi, Fausto Spoto, and Pietro Ferrara highlight his engagement in interdisciplinary research addressing cutting-edge topics in blockchain software engineering and formal verification.
