Stimmt. Das wäre dann angewandte Informatik oder technische Informatik / Ingenieursinformatik bzw. IT. Ich dachte bei Informatik halt eher an theoretische Informatik und das ist dann wirklich nur noch formales Beweisen, was im Prinzip ja dasselbe wie Mathematik ist. Nur mit völlig anderen Schwerpunkten.