USAF test pilot, SRI computer science lab, Courant mathematics