Stanford CS PhD with thesis on algorithms to validate safety-critical systems. Former research staff at MIT Lincoln Laboratory on the core team that designed and validated the aircraft collision avoidance system (ACAS X), now a worldwide standard. Other relevant experience working at Xwing (an autonomous aircraft startup now part of Joby Aviation), and NASA Ames Research Center.