Luca Spalazzi

Luca Spalazzi is an Associate Professor at the Department of Information Engineering, Università Politecnica delle Marche, Italy. His research spans multiple domains including cybersecurity, blockchain technology, machine learning, and telerehabilitation systems for Parkinson's disease. He applies formal methods to software verification and security analysis, with a focus on real-time systems and distributed architectures.

• Key research areas: Cybersecurity, Blockchain, Machine Learning, IoT, Formal Verification
• Recent work: Blockchain-based sustainable supply chains, Zero-Knowledge Proofs, Smartphone health monitoring

His publications (2013-2025) demonstrate expertise in malware detection, smart contract verification, and AI-driven health solutions. Articles include BRAIN 2024 workshop organization and RAPIDO system for Parkinson's telerehabilitation.