Marta Capiluppi
Papers
4
Total Citations
29
H-Index
3
About
Marta Capiluppi is a researcher at the intersection of robotics, computer science education, and safety-critical systems. Her primary research areas include physical human-robot interaction (pHRI), surgical robotics, and formal verification methods for autonomous systems. Capiluppi’s most impactful contribution is her pioneering work on integrating pHRI into undergraduate computer science curricula, as detailed in her 2016 paper (17 citations), which addresses the critical need for future engineers to understand the challenges of robots that physically collaborate with humans. In surgical robotics, she has developed ontology-based modular architectures and applied contract-based verification techniques to hybrid automata, ensuring that robotic surgical systems meet stringent safety specifications. Her work on modeling and verifying surgical systems using Hybrid Input/Output Automata (2013) further demonstrates her commitment to rigorous, formal methods for life-critical applications. While her citation counts reflect a focused, emerging field, Capiluppi’s contributions are foundational for training a new generation of roboticists and for advancing the safety assurance of autonomous surgical robots.
Research Focus
Key Achievements
Top Papers
- 1
- 2Ontology-based modular architecture for surgical autonomous robots6 citations · 2014
- 3
- 4