Vandi Verma led NASA's first AI-planned drive on Mars with the Perseverance rover She is a Principal Engineer and Deputy Section Manager at NASA's Jet Propulsion Lab Verma developed PLEXIL, a plan execution language used in rovers and human spaceflight