This CEO just sold his company for $21 billion. It wouldn’t have happened without federally funded research