Research Scientist High Integrity Algorithms for Autonomous Unmanned Vehicles @National Institute of Aerospace Started by Carolyn Sager