No, we don't confirm hypothesises(sp?). We focus on a proof, following the steps to make that proof to show it's correct. There's no empirical step. Even mathematical induction is only inductive within the predicate of the given equation, but not inductive (proper) in the wider world. Computer Science is a science because it follows an organizing principle that makes it exact. A natural science is a science for the same reason, but it needs to follow additional methods (what is known as the scientific method) to make it work. This is why your Positivist position is wrong. Only a handful in philosophy follow it (Dennett and company are decidedly the last remnant of the Positivist/Analytic position).
Edit: also, Computer Engineering isn't Computer Science. I have a degree in the latter, and I am working on my Masters in it at present.