A computer scientist: Software Engineering -> Formal Methods, Programming Languages & Compilers, Modelling and Testing.