I strongly believe the "professor" title is not a point of strength on one's resume vs solid industry experience. In general, if one is taking the time and effort required to become a tenured professor, he/she should stick with it. Sure, there are anecdotal cases (Harvard profs going to Goog...), but those are anecdotes and not the mean.