Kent Johnson, (formerly) Texas Instruments