Enhancing Mobility Software

This summer, I will be working with Dr. Florent Kirchner’s lab at CEA in Saclay, France. His lab is developing techniques and tools to formally verify the safety and security of critical software. In particular, the focus this summer will be on EMY (Enhancing MobilitY), a wearable full-body exoskeleton that will allow paraplegic and quadriplegic people to regain complete mobility. In such systems, even minor software bugs are unacceptable. Our work this summer will be a small step towards developing ways to verify the correctness of this and other complicated control systems, allowing the safety of such systems to be proven before being tested.