As theoretical computer scientists, do you work more with proving theorems, or do you work more with data?
According to How to Criticize Computer Scientists, computer scientists can be divided into two: theoretical and experimental.
Even in some/many Computer Science Faculties, not all the academicians there are theoretical computer scientists. Since artificial intelligent (AI) is booming, more people are going towards AI, which relies heavily on data.
Theoretical computer scientists, from my understanding, work more on proving theorems, enjoy the mathematics and/or developing new theorems/algorithms, while some of the experimentalists, in some faculties/countries, prefer to use the existing algorithms, without fully deep-diving into the algorithms. Maybe this also depends on the culture of each faculty/university.