Input: For which company did this businessman , who was president of the corporation headquartered in Redwood Shores , California , serve as CEO until 2019 ?
Output: Infor