Dario Guidotti

Papers

Total Citations

H-Index

About

Dario Guidotti is a leading researcher at the intersection of assistive robotics and formal methods, with a primary focus on advancing myoelectric control for upper-limb prosthetics. His work addresses one of the field’s most persistent challenges: achieving reliable, natural, and swift conversion of non-invasive biosignals into prosthetic commands. Guidotti’s most-cited paper, “Improving Reliability of Myocontrol Using Formal Verification” (2019, 15 citations), introduces a groundbreaking approach that applies formal verification techniques—traditionally used in safety-critical systems—to ensure the dependability of myocontrol systems. This cross-disciplinary contribution demonstrates his ability to bridge theoretical rigor with practical rehabilitation needs, offering a path toward more trustworthy and user-responsive prosthetics. By integrating verification into the control loop, Guidotti’s work directly addresses the unpredictability that has long hindered clinical adoption of myoelectric devices. His research not only advances the technical reliability of assistive technologies but also holds profound implications for improving the quality of life for individuals with upper-limb disabilities. Guidotti’s innovative synthesis of formal methods and human-machine interaction marks him as a distinctive voice in the quest for truly functional and safe prosthetic control.