The executive had been serving as interim CEO since February.