[Ar-Curunir]

There are plenty of parts of CS that qualify as a science, like HCI, empirical aspects of networking and systems research, empirical parts of ML, etc.