Dr. Muhammad Bin Saif is a researcher in Computer Science at the University of Verona, Italy, where he holds an incarico di ricerca (research position) following his Industrial PhD conducted in collaboration with Ambercom Srl, supported by the Italian PNRR/Next Generation EU scholarship. He holds an M.Eng. in Computer Application Technology from Shenyang Aerospace University, China (CSC Government Scholarship), and a B.Sc. in Computer Science from PMAS Arid Agriculture University, Pakistan. His research spans blockchain scalability, Layer 2 data availability, Zero-Knowledge Proofs (ZKP), smart contract design patterns, privacy-preserving data management, and emerging topics in agentic AI security and compliance verification. He is currently contributing to CloudWood, a blockchain-based digital traceability platform for the forest-wood supply chain. He has published in Future Internet (MDPI), IEEE ICBC, and IEEE BCCA, with further work under review in Blockchain: Research and Applications and the Journal of Network and Systems Management. He served as a Technical Program Committee Member for BCCA 2025 and presented at IEEE ICBC 2025.
University of Verona
Verona, Veneto, Italy
Computer Science
Researcher
University of Verona, Verona, Italy
01 Jan 2026 - present