Comment by ukj

I am talking about (theoretical) computer science, not (practical) software engineering.

This should've been clear in the context of my question:

"Are the formal sciences (logic/mathematics/computer science) not science?"