Computer science Computation by Abstract Devices Computer Science Computer simulation Control Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics Models and Principles Processor Architectures Simulation and Modeling Software Engineering Software engineering Special Purpose and Application-Based Systems Systems Theory, Control Systems theory