Papers
1
Total Citations
16
H-Index
1
About
Sha Ma is a leading researcher in formal verification, geometric algebra, and robotics, whose work bridges the gap between abstract mathematical theory and practical, safety-critical systems. Her most influential contribution is the development of a higher-order logic formalization of conformal geometric algebra (CGA), a powerful mathematical framework for representing spatial transformations. In her seminal 2016 paper, she demonstrated how this formalization can be used to rigorously verify a robotic manipulation algorithm, ensuring correctness in complex, real-world environments. This work has garnered 16 citations and is recognized for enabling provably correct reasoning in robotics, where errors can have serious consequences. Ma’s research addresses the critical need for trust in autonomous systems by combining deep theoretical insights with applied verification techniques. Her achievements highlight her as a key figure in advancing the reliability of robotic systems through formal methods, making her work essential reading for students and researchers interested in the intersection of mathematics, logic, and robotics.
Research Focus
Key Achievements
Top Papers
- 1