Mehrnoosh Askarpour
Politecnico di Milano, National Research Council, McMaster University, University of Bern
Papers
18
Total Citations
343
H-Index
10
About
Mehrnoosh Askarpour is a prominent researcher specializing in formal verification, safety analysis, and human-robot collaboration (HRC), whose work sits at the critical intersection of robotics, software engineering, and safety-critical systems. Her research has made substantial contributions to ensuring the safety and reliability of collaborative robotic applications, particularly in environments where humans and robots share workspaces. Her landmark 2019 paper on automated formal verification for collaborative robotics has garnered 71 citations, while her complementary work modeling human erroneous behavior for safety analysis has earned 62 citations — reflecting the field's recognition of her methodological innovations. Askarpour's SAFER-HRC framework, introduced in 2016, established foundational approaches that continue to influence how researchers and engineers assess risk in HRC settings. Beyond industrial robotics, she has extended her expertise to healthcare scenarios and mobile service robots, addressing mission specification and self-adaptation challenges through projects like RoboMAX. Her model-driven development and deployment frameworks bridge the gap between formal verification theory and real-world robotic applications. With over 300 cumulative citations, Askarpour's body of work offers students and researchers an indispensable roadmap for building provably safe, human-centered robotic systems across diverse domains.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5
- 6RoboMAX: Robotic Mission Adaptation eXemplars20 citations · 2021
- 7
- 8Formal Verification of Human-Robot Interaction in Healthcare Scenarios14 citations · 2020
- 9
- 10A Deployment Framework for Formally Verified Human-Robot Interactions12 citations · 2021