معرفی
Andrea Polini is a Full Professor at the University of Camerino, focusing on interdisciplinary research at the intersection of blockchain technology, business process modeling, IoT systems, and software engineering. His work emphasizes formal methods for ensuring correctness in distributed systems, smart contract security, and model-driven approaches for IoT integration.
Research interests include blockchain-based choreography execution, mutation testing strategies for smart contracts (e.g., ReSuMo and SUMO tools), and frameworks for IoT application portability (X-IoT). He also investigates process mining in public administration and humanitarian contexts, such as analyzing collaboration in crisis mapping platforms like the HOT Tasking Manager.
Polini’s contributions span over 60 publications since 2014, with a strong focus on practical tools and methodologies (e.g., BProVe for business process verification, FloBP for IoT-enhanced processes). His work bridges theoretical computer science with real-world applications in healthcare, urban mobility (Tangramob framework), and disaster response systems.
