معرفی
Luca Negrini is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics of Ca' Foscari University of Venice. He is affiliated with the Research Institute for Complexity. His work focuses on static analysis techniques applied to blockchain smart contracts, formal methods, and software verification. He contributes to projects like the LiSA framework for multilanguage static analysis and has published extensively on topics such as Hyperledger Fabric security, Tezos smart contracts, and ROS2 security policies extraction.
Research interests include blockchain technology, static analysis methodologies, formal verification, and concurrency issues in distributed systems. Recent work emphasizes detecting vulnerabilities in smart contracts (e.g., read-write issues, phantom reads) and developing tools for automated policy extraction in robotics and microservices. He collaborates closely with academic and industry partners, as evidenced by numerous co-authored articles in venues like IEEE Access and ACM conferences.
Publications reflect a trend toward addressing security and correctness in distributed systems, with a focus on practical applications of formal methods. His contributions bridge theoretical computer science with real-world challenges in blockchain and software engineering. No scientific awards are explicitly mentioned in the provided texts.
