I see nothing odd in calling that computer science. It seems more like hardcore computer science.
Thus defining the Monster group is discrete mathematics, but not computer science (or not directly). Finding parts of the Monster groups that can be represented and manipulated by computers would be computer science.