
معرفی
Flavio Corradini is a Full Professor at the Department of Computer Science, University of Camerino. His research focuses on blockchain, process mining, business process modeling, IoT systems, and digital twins. He has led projects like the SAFE platform for disaster response and ChorChain for blockchain-based process execution. His work bridges formal methods with practical applications in robotics, smart contracts, and environmental monitoring.
Education details are not explicitly provided in the text, but his academic contributions span over a decade of publications in top journals and conferences. His research often combines theoretical rigor with real-world implementation, such as developing tools like BPMN Inspector and the μG graph neural network library.
Research interests include: blockchain interoperability, process choreography, IoT system engineering, and formal verification of distributed systems. His work on digital twins integrates sensor data with simulation models for industrial and environmental applications.
Recent articles highlight advancements in robotic process mining, smart contract analysis, and multimodal data clustering. He has contributed to frameworks like Tangramob for urban mobility simulation and FloWare for IoT application development.





